Категория:Нотации

Нотация - система условных обозначений, принятая в какой-либо области знаний или деятельности. Включает множество символов, используемых для представления понятий и их взаимоотношений, составляющее алфавит нотации, а также правила их применения.

Нотация используется для отображения моделей в рабочих продуктах (документах).

Для отражения одного или нескольких видов модели в каком-то виде документов используются нотации, поддерживающие (supports) тот язык, который использует (uses) тот или иной вид моделей. Один язык может быть использован множеством видов моделей, а вид модели использует только один язык.

Письменные нотации

Типы письменности человеческих языков:

• Пиктографический — письменный знак привязан к определенному объекту.
• Идеографический — письменный знак привязан к определённому смыслу.
• Фоноидеографический — письменный знак привязан и к смыслу, и к звучанию
  • Логографический — письменный знак обозначает определённое слово
  • Морфемный — письменный знак обозначает определённую морфему (см. «Китайская письменность»)
• Фонетический — письменный знак привязан к определённому звучанию

Нотации в программировании

• Форма Бэкуса — Наура (сокр. БНФ, Бэкуса — Наура форма) — формальная система описания синтаксиса, в которой одни синтаксические категории последовательно определяются через другие категории. БНФ используется для описания контекстно-свободных формальных грамматик. Существует расширенная форма Бэкуса — Наура (РБНФ), отличающаяся лишь более ёмкими конструкциями.
• Венгерская нотация — соглашение об именовании переменных, констант и прочих идентификаторов в коде программ. Суть венгерской нотации сводится к тому, что имена идентификаторов предваряются заранее оговорёнными префиксами, состоящими из одного или нескольких символов. При этом, как правило, ни само наличие префиксов, ни их написание не являются требованием языков программирования, и у каждого программиста (или коллектива программистов) они могут быть своими.
• Математические языки разметки нотации для представления математических формул:
  • TeX/LaTeX
  • MathML
• Различные нотации, разработанные для определения регулярных выражений.

Нотации в управлении

• Therblig — базовые элементарные движения в управлении операциями

Нотации в математике

• Нотации для представления различных математических идей
  • Нотации в теории вероятностей
  • Прямоугольная система координат
  • Нотации для дифференциального исчисления
  • «O» большое — математическое обозначение для сравнения асимптотического поведения функций. Применяется, например, для определения вычислительной сложности алгоритма.
  • Z-нотация — формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации.
  • Порядковая индексация
  • Форма записи числовых множеств
• Системы представления очень больших чисел
  • Нотация Конвея
  • Стрелочная нотация Кнута
  • Нотация Штейнгауза — Мозера
• Системы счисления
  • по способу изображения чисел системы
    • Позиционные
    • Непозиционные
    • Смешанные
  • по основаниям системы счисления
    • двоичная
    • десятичная
    • восьмеричная
    • шестнадцатеричная
    • двоично-десятичная
  • по форме представления чисел
    • естественная форма (форма с фиксированной запятой)
    • нормальная форма (форма с плавающей запятой)
• Обозначения математических операций
  • Инфиксная нотация
  • Польская нотация
  • Обратная польская нотация

Нотации в физике

• Для обозначения физических величин и понятий в физике используются буквы латинского и греческого алфавитов, а также несколько специальных символов и диакритических знаков. Поскольку количество физических величин больше количества букв в латинском и греческом алфавитах, одни и те же буквы используются для обозначения различных величин. Для некоторых физических величин принято несколько обозначений (например для энергии, скорости, длины и других), чтобы предотвратить путаницу с другими величинами в данном разделе физики.
• Диакритические знаки добавляются к символу физической величины для обозначения определённых различий (производная, векторная величина, средне значение, оператор и др.).
• Бра и кет (англ. bra-ket < bracket скобка) — алгебраический формализм, предназначенный для описания квантовых состояний. Называется также обозначениями Дирака. В матричной механике данная система обозначений является общепринятой.
• Обозначение тензоров. Тензор обычно обозначают некоторой буквой с совокупностью верхних (контрвариантных) и нижних (ковариантных) индексов. При смене базиса ковариантные компоненты меняются так же, как и базис (с помощью того же преобразования), а контравариантные — обратно изменению базиса (обратным преобразованием).

Графические нотации

• Семейства IDEF (Integrated DEFinition):
  • IDEF0 (функциональное моделирование);
  • IDEF1.X (информационное моделирование);
  • IDEF3 (моделирование деятельности или процессное моделирование).
• ARIS eEPC (Extended Event Driven Process Chain) – расширенная нотация описания цепочки функций процесса, управляемого событиями.
• Диаграмма Ганта
• PERT
• BPMN
• Язык моделирования UML