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