Матлогика, 5 курс, 2 семестр, 2016/17
Материал из SEWiki
Преподаватель -- Москвин Денис Николаевич
Лекции
Лекция 2: Полные системы связок
Лекция 3: Исчисление высказываний гильбертовского типа
Практика
Практика 1, 2: Нормальные формы
Преподаватель -- Москвин Денис Николаевич
Лекция 2: Полные системы связок
Лекция 3: Исчисление высказываний гильбертовского типа
Практика 1, 2: Нормальные формы