К экзамену

1.Типология множеств, рефлексивное множество.
2.Отношения над множествами, равенство.
3.Операции над канторовскими множествами.
4.Операции над мультимножествами.
5.Мощность, бесконечные и конечные множества.
6.Булеан множества, мощность.
7.Ориентированное множество, декартово произведение множеств.
8.Множество перестановок, его мощность.
9.Множество сочетаний, его мощность.
10.Множество размещений, его мощность.
11.Бинарное отношение и способы его задания.
12.Рефлексивное и арефлексивное бинарное отношение.
13.Симметричное и антисимметричное бинарное отношение.
14.Транзитивное бинарное отношение.
15.Отношения строгого и нестрогого порядка.
16.Отношения полного (линейного) и частичного порядка.
17.Отношения эквивалентности и толерантности.
18.Типология соответствий.
19.Однозначные и неоднозначные соответствия.
20.Область определения и область значений соответствия, образ и прообраз.
21.Отображения и биективные соответствия.
22.Атрибуты, кортежи и классические кортежи.
23.n-арное отношение, схема отношения.
24.Область определения отношения, домен.
25.Операции над отношениями (проекция, соединение, композиция).
26.Алгебраическая система. Носитель и сигнатура, алгебраическая операция.
27.Алгебра, типы алгебр (полугруппы, группы, кольца, поля, векторные пространства).
28.Отношение дистрибутивности алгебраических операций.
29.Коммутативная алгебраическая операция.
30.Ассоциативная алгебраическая операция.
31.Идемпотентная алгебраическая операция.
32.Модель. Графовая модель. Типология графов.
33.Отношение гомоморфизма на алгебраических системах.
34.Отношение изоморфизма на алгебраических системах, автоморфизм.
35.Метаотношения.
36.Шкалы и измеряемые параметры.
37.Формальные языки. Алфавит и синтаксис фактографического графового языка.
38.Семантика позитивной константной дуги в фактографическом графовом языке.
39.Семантика негативной константной дуги в фактографическом графовом языке.
40.Семантика нечёткой константной дуги в фактографическом графовом языке.
41.Семантика константного узла в фактографическом графовом языке, предметные и непредметные узлы.
42.Семантика константного элемента неуточняемого типа в фактографическом графовом языке, семантически нормализованное множество.
43.Представление математических понятий, структур на фактографическом графовом языке.
44.Реляционная структура, как частный вид модели.
45.Формальные логические языки. Алфавит и синтаксис языка логики высказываний.
46.Алфавит и синтаксис языка логики предикатов.
47.Алфавит и синтаксис логического графового языка.
48.Отличие семантики переменных и констант в логическом графовом языке.
49.Способы задания логических функций, базис, полная система логических функций.
50.Предикаты и булевы функции.
51.Логические связки, таблицы истинности.
52.Логическая формула, равносильные логические формулы, логические законы.
53.Классы логических формул (общезначимые, нейтральные, невыполнимые).
54.Совершенная дизъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма, способы построения.
55.Кванторы, законы двойственности.
56.Связанные и свободные переменные. Открытые и замкнутые формулы.
57.Понятия формальной системы и формальной теории.
58.Аксиомы, теоремы.
59.Понятие формального логического вывода.
60.Представление формальных теорий на логическом графовом языке.
61.Понятие цели и подцели, типология подцелей.
62.Абстрактные машины, операции, память. Машина Тьюринга.
63.Ключевые узлы логического графового языка.
64.Стационарные и динамические предметные области, временные отношения.

Скачать: