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

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

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

Экзамен

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

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

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