Преподаватель -- Москвин Денис Николаевич
Лекция №1: Логика высказываний
Практика 1, 2: Нормальные формы