Дискретная математика. ВТУ. Москва 2005. - 84 с.Операции над множествами.
Алгебра Буля.
Отображение множеств.
Мощность множества.
Отношения (эквивалентность, толерантность, порядок).
Алгебра высказываний.
Математическая логика.
Логические операции.
Формулы алгебры высказываний.
Варианты импликации.
Функции алгебры высказываний.
Полные системы связок.
Проверка правильности рассуждений.
Нормальные формы.
Формул алгебры высказываний.
Логические отношения.
Проверка правильности рассуждений.
Нормальные формы формул алгебры высказываний.
Совершенные нормальные формы.
Алгебра высказываний и релейно-контактные схемы.
Исчисление высказываний.
Построение формулы алгебры высказываний по заданной логической функции.
Моделирование алгебры высказываний с помощью релейно-контактных схем.
Исчисление высказываний.
Символы, формулы, аксиомы исчисления высказываний.
Теорема дедукции.
Проблемы непротиворечивости, полноты, независимости аксиом исчисления высказываний.
Тренировочные задания.
Тесты.
