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

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

Лекции

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

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

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

Практика

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

Ссылки

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