Мат логика 2014

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

Лектор - Мосвин Денис Николаевич (dmoskvin@gmail.com)

Практика - Мосвин Денис Николаевич, Исаев Валерий Иванович (valery.isaev@gmail.com)

Лекции

Лекция 1 Логика высказываний Слайды PDF
Лекция 2 Полные системы связок Слайды PDF
Практика 2 Нормальные формы Слайды PDF
Лекция 3 Исчисление высказываний гильбертовского типа Слайды PDF
Лекция 4 Исчисление высказываний генценовского типа Слайды PDF
Лекция 5 Интуиционистское исчисление высказываний Слайды PDF