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