Математическая логика

Конспекты лекций Штукенберга по мат. логике

1. Исчисление высказываний, формальная система (Вопросы 1, 2)
2. Лемма о дедукции, полнота исчисления высказываний (Вопросы 3, 4)
3. Исчисление предикатов (Вопросы 5, 6)
4. Секвенциальное и интуиционистское исчисление (Вопросы 7, 8)
5. Теории первого порядка (Вопросы 9, 10)
6. Рекурсивные функции, представимость в формальной арифметике (Вопросы 11, 12, 13)
7. Геделева нумерация. Арифметизация доказательств (Вопросы 14)
8. 1я и 2я теоремы Геделя о неполноте арифметики (Вопросы 15, 16)
9. Теория множеств (Вопросы 17, 18,19)

Экзамен

Решение задач по логике

Вопросы к экзамену по математической логике за 3 семестр

Теоретический минимум по математической логике за 3 семестр