Лекции по математической логике

Элементы математической логики.
Логические операции, логические функции, функции алгебры логики.
Свойства конъюнкции, дизъюнкции и отрицания.
Свойства функций сложения по модулю 2, импликации, штриха Шеффера и стрелки Пирса (функции Вебба).
Основные классы ФАЛ.
Минимальные формы, Карты Карно.
Тождественно истинные формулы.
Отношение равносильности и эквивалентность.
Элементы теории графов.
Деревья на множестве вершин.
Экстремальное дерево.
Деревья графа.
Типы конечных графов.