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