Математическая логика — различия между версиями
м (rollbackEdits.php mass rollback) |
|||
| (не показано 6 промежуточных версий 4 участников) | |||
| Строка 1: | Строка 1: | ||
| − | + | __TOC__ | |
| − | + | === Конспекты лекций Штукенберга по мат. логике === | |
| − | + | # [[Исчисление высказываний | Исчисление высказываний, формальная система]] (Вопросы 1, 2) | |
| − | + | # [[Лемма о дедукции, полнота исчисления высказываний]] (Вопросы 3, 4) | |
| − | [[ | + | # [[Исчисление предикатов]] (Вопросы 5, 6) |
| − | + | # [[Секвенциальное и интуиционистское исчисление]] (Вопросы 7, 8) | |
| − | [[ | + | # [[Теории первого порядка]] (Вопросы 9, 10) |
| − | + | # [[Рекурсивные функции, представимость в формальной арифметике]] (Вопросы 11, 12, 13) | |
| − | [[ | + | # [[Геделева нумерация. Арифметизация доказательств]] (Вопросы 14) |
| − | + | # [[1я и 2я теоремы Геделя о неполноте арифметики]] (Вопросы 15, 16) | |
| − | [[ | + | # [[Теория множеств]] (Вопросы 17, 18,19) |
| − | |||
| − | [[ | ||
| − | |||
| − | [[ | ||
| − | |||
| − | [[Геделева нумерация. Арифметизация доказательств]] (Вопросы 14) | ||
| − | |||
| − | [[1я и 2я теоремы Геделя о неполноте арифметики]] (Вопросы 15 16) | ||
| − | |||
| − | [[Теория множеств]] (Вопросы 17 18 19) | ||
| + | === Экзамен === | ||
[[Решение задач по логике]] | [[Решение задач по логике]] | ||
| − | |||
[[Вопросы к экзамену по математической логике за 3 семестр]] | [[Вопросы к экзамену по математической логике за 3 семестр]] | ||
| − | [[ | + | [[Теоретический минимум по математической логике за 3 семестр]] |
[[Категория: В разработке]] | [[Категория: В разработке]] | ||
[[Категория: Математическая логика]] | [[Категория: Математическая логика]] | ||
Текущая версия на 19:27, 4 сентября 2022
Конспекты лекций Штукенберга по мат. логике
- Исчисление высказываний, формальная система (Вопросы 1, 2)
- Лемма о дедукции, полнота исчисления высказываний (Вопросы 3, 4)
- Исчисление предикатов (Вопросы 5, 6)
- Секвенциальное и интуиционистское исчисление (Вопросы 7, 8)
- Теории первого порядка (Вопросы 9, 10)
- Рекурсивные функции, представимость в формальной арифметике (Вопросы 11, 12, 13)
- Геделева нумерация. Арифметизация доказательств (Вопросы 14)
- 1я и 2я теоремы Геделя о неполноте арифметики (Вопросы 15, 16)
- Теория множеств (Вопросы 17, 18,19)
