Математическая логика — различия между версиями
Mityada (обсуждение | вклад) |
|||
| Строка 17: | Строка 17: | ||
[[Лекция 7]] | [[Лекция 7]] | ||
| − | [[Геделева нумерация. Арифметизация доказательств]] | + | [[Геделева нумерация. Арифметизация доказательств]] (Вопросы 14) |
| − | [[1я и 2я теоремы Геделя о неполноте арифметики]] | + | [[1я и 2я теоремы Геделя о неполноте арифметики]] (Вопросы 15 16) |
| − | [[Теория множеств]] | + | [[Теория множеств]] (Вопросы 17 18 19) |
[[Решение задач по логике]] | [[Решение задач по логике]] | ||
Версия 02:19, 15 января 2012
Курс
Странная нумерация...
TODO: отследить соответствие частей лекций и вопросов к экзамену
Лекция 2 (Вопросы 1 2)
Лекция 3 (Вопросы 3 4)
Лекция 4 (Вопросы 5 6)
Геделева нумерация. Арифметизация доказательств (Вопросы 14)
1я и 2я теоремы Геделя о неполноте арифметики (Вопросы 15 16)
Теория множеств (Вопросы 17 18 19)
