Содержание
Список теорем
Термины
Обозначения
Примеры
Задачи
Аксиомы и правила вывода
Список определений
Алгебраические системы
1 Отношение
2 Алгебраическая операция
3 Алгебраическая система
4 Тип алгебраической системы
5 Гомоморфизм
6 Изоморфизм
7 Автоморфизм
8 Подсистема
9 Замыкание множества в алгебраической системе
10 Прямое произведение систем
11 Граф
12 Петли, кратные рёбра
13 Простой граф
14 Частично-упорядоченное множество
15 Решёточно-упорядоченное множество
16 Решётка
17 Дистрибутивная решётка
18 Нуль, единица
19 Дополнение
20 Решётка с дополнением
21 Булева решётка
22 Булева алгебра
23 Атом
24 Полугруппа
25 Моноид
26 Группа
Графы
1 Степень вершины
2 Подграф
3 Подграф, порождённый множеством вершин
4 Остовной подграф
5 Пустой, полный графы
6 Маршрут
7 Цепь, простая цепь, цикл
8 Связность
9 Связные компоненты
10 Цикломатическое число
11 Эйлеров цикл
12 Гамильтонов цикл
13 Дерево
14 Лес, листья
15 Раскраска
16 Правильная раскраска
17 Плоский граф
18 Грань графа
19 Двойственный граф
Булевы функции
1 Булева функция
2 Фиктивные и существенные переменные
3 Суперпозиция функций
4 Двойственная функция
Математическая логика
Аксиоматический метод
1 Сумма
2 Порядок
3
4 Наименьший элемент
5 Произведение
6 Система Пеано
Логика высказываний
7 Множество строк, замкнутое относительно правил построения
8 Формула
9 Префикс
10 Интерпретация
11 Эквивалентность
12 Выполнимость
13 Логическое следование
14 Тавтология
15 Секвенция
16 Аксиомы
17 Дерево доказательства
18 Доказуемая секвенция
19 Истинность секвенций
20 Корректность правил вывода
21 Истинность секвенций
Логика предикатов
22 Свободные переменные
23 Замкнутая формула
24 Связаная переменная
25 Подстановка терма
26 Универсальное замыкание
27 Выполнимость
28 Сигнатура,константы
29 Терм
30Интерпретация сигнатуры логики предикатов