Лекторы — Д.В. Мусатов и к.ф.-м.н. А.Б. Дайняк.
Задачи для самостоятельного решения:
Операции над множествами
Отображения и соответствия
Мощности множеств
Отношения
Булевы формулы
Исчисление высказываний
Формулы первого порядка
Выразимость предикатов
Автоморфизмы интерпретаций
Исчисление предикатов
Самостоятельные работы:
Самостоятельная работа №1
Самостоятельная работа №2
Контрольные работы:
Контрольная работа №1
Контрольная работа №2
Контрольная работа №3
Зачетные задачи по контрольным работам:
Контрольная работа №1
Контрольная работа №2
Контрольная работа №3