Скобка Айверсона
- Скобка Айверсона – это обозначение, обобщающее дельту Кронекера.
- Она сопоставляет любое утверждение с функцией свободных переменных в этом утверждении.
- Эта функция определена таким образом, чтобы принимать значение 1 для значений переменных, для которых утверждение истинно, и принимать значение 0 в противном случае.
- Скобка Айверсона позволяет использовать запись с заглавной буквы без ограничений на индекс суммирования.
- Первоначальная система обозначений была введена Кеннетом Э. Айверсоном в своем языке программирования APL.
- Свойства скобки Айверсона включают прямое соответствие между арифметикой, логикой и операциями с множествами.
- Примеры использования скобки Айверсона включают упрощение уравнений в особых случаях и выражение функций сравнения, пола, потолка и рампы.
- В 1830-х годах Гульельмо далла Соммайя использовал скобку Айверсона для обозначения определенных значений.
Полный текст статьи: