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