Решение

Курс: Дискретная математика

Содержание
Список определений
Термины
Обозначения
Примеры
Задачи
Аксиомы и правила вывода

Список теорем

Алгебраические системы

Теорема 1 (Пересечение подсистем)
Предложение 1
Теорема 2 (Связь ч.у.м. и решеток)
Предложение 2 (Единственность нуля и единицы)
Предложение 3 (Свойства нуля и единицы)
Теорема 3 (Связь булевых решеток и булевых алгебр)
Теорема Стоуна
Теорема 4 (Представление конечных моноидов)
Теорема 5 (Представление конечных групп)

Графы

Теорема 1 (Критерий эйлеровости графа)
Теорема 2 (Обобщенная теорема Эйлера о многогранниках)

Булевы функции

Предложение 1 (Двойственная к двойственной функции)
Теорема 1 (Принцип двойственности)
Теорема 2 (Разложение в дизъюнкцию)
Теорема 3 (Разложение в конъюнкцию)
Следствие 1 (Совершенная дизъюнктивная нормальная форма)
Следствие 2 (Совершенная конъюнктивная нормальная форма)

Математическая логика

Аксиоматический метод

Логика высказываний

Теорема корректности.
Теорема полноты.

Логика предикатов

Теорема корректности.
Теорема полноты.