1)Используемые сокращения

3

2)Используемые условные обозначения

li, lj, lk – языки (с. 9)

s, si, sj – языки множеств ei – элементы любого вида u – узел

g – дуга

t – система множеств ki – кортеж

ai – атрибут r – отношение

c – связка вставка слова

x, y – элементы кортежей, числа веществ d – декартово произведение

p – проекция

n, m –целые числа

4

3)Терминологический указатель

множество знак множества

изображение знака множества

-пара – ( 2-мощное множество – это множество, состоящее либо из 2-х однократных вхождений в его состав элементов либо из 1-го элемента, но 2-кратно входящего в его состав)

-неориентированная пара (неупорядоченная пара)

-ориентированная пара (упорядоченная пара)

-пара принадлежности – ориентированная пара, знак которой принадлежит отношению принадлежности

-элемент множества (относительное понятие, указывающее на 2-й компонент пары принадлежности)

-знак пары принадлежности (дуг принадлежности)

-множество всевозможных знаков пар принадлежности и только их (отношение принадлежности)

-ребро – знак неориентированной пары

-дуга – знак ориентированной пары

-SCB-дуга – знак пары принадлежности

-1-мощное множество (множество, мощность которого равна 1) – множество, состоящее из одного и однократно входящего в его состав элемента

-1-арное отношение (унарное отношение) – семейство 1-мощных множеств

-1-элементное множество – множество, состоящее из одного и не обязательно однократно входящего в его состав элемента

-высказывание;

определение на ЕЯ φ < … , определение_: / " высказывание – это текст некоторого языка, который является истинным или ложным для указываемого субъекта и для указываемых значений свободных переменных "/>;

…атомарное высказывание;

…фактографическое высказывание;

…атомарное нефактографическое высказывание;

…неатомарное высказывание;

…формальная теория;

…замкнутое высказывание /* высказывание, имеющее свободные переменные, от значения которых зависит истинность или ложность этого высказывания. Незамкнутые высказывания называют также предикативными высказываниями или предикатами */;

5