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

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

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

Лекции

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

Лекция 2: Полные системы связок

Лекция 3: Исчисление высказываний гильбертовского типа

Практика

Практика 1, 2: Нормальные формы

Источник — «http://mit.spbau.ru/sewiki/index.php?title=Матлогика,_5_курс,_2_семестр,_2016/17&oldid=10434»