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

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

Лекции

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

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

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

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

Лекция 5. Интуиционистское исчисление высказываний

Лекция 6. Логика предикатов первого порядка

Практика

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

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

Практика 5, 6. Интуиционистское исчисление высказываний; Логика предикатов

Ссылки

• Н. К. Верещагин, А. Шень - Языки и исчисления
• M. H. Sørensen, P. Urzyczyn - Lectures on the Curry-Howard Isomorphism