Матлогика, 5 курс, 2 семестр, 2016/17

Материал из SEWiki
Перейти к: навигация, поиск

Преподаватель -- Москвин Денис Николаевич

Лекции

Лекция №1: Логика высказываний

Практика

[Mlc02pr.pdf Практика 1, 2: Нормальные формы]