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

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

Лекции

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

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

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

Лекция 4. Исчисление высказываний генценовского типа

Практика

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

Практика 3, 4. Исчисление высказываний

Ссылки

• Н. К. Верещагин, А. Шень - Начала теории множеств
• Н. К. Верещагин, А. Шень - Языки и исчисления