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

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

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

Экзамен

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

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

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