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