Матлогика, 5 курс, 2 семестр, 2016/17
Материал из SEWiki
Версия от 18:26, 28 февраля 2017; Mchernyavsky (обсуждение | вклад)
Преподаватель -- Москвин Денис Николаевич
Лекции
Лекция 2: Полные системы связок
Лекция 3: Исчисление высказываний гильбертовского типа
Практика
Практика 1, 2: Нормальные формы
