|
Спецкурс «Математическая логика, часть 2»
(13 февраля–14 мая 2020 г., МГУ, Главное здание, ауд. 13-02, г. Москва)
|
| Спецкурс «Математическая логика, часть 2», г. Москва, 13 февраля–14 мая 2020 г. |
|
|
14 мая 2020 г. (чт) |
 |
| 1. |
Обзор курса и ответы на вопросы
С. Л. Кузнецов, Т. Яворская
14 мая 2020 г. 16:00, г. Москва, online
|
|
|
|
|
|
7 мая 2020 г. (чт) |
|
| 2. |
Лекция 16. Основы теории множеств, ч. 4
С. Л. Кузнецов
7 мая 2020 г. 14:45, г. Москва, online
|
|
|
|
|
|
|
30 апреля 2020 г. (чт) |
|
| 3. |
Лекция 15. Основы теории множеств, ч. 3
С. Л. Кузнецов
30 апреля 2020 г. 14:45, г. Москва, online
|
|
|
|
|
|
|
27 апреля 2020 г. (пн) |
|
| 4. |
Лекция 14. Основы теории множеств, ч. 2
С. Л. Кузнецов
27 апреля 2020 г. 14:30, г. Москва, online
|
|
|
|
|
|
|
23 апреля 2020 г. (чт) |
|
| 5. |
Лекция 13. Основы теории множеств, ч. 1
С. Л. Кузнецов
23 апреля 2020 г. 14:45, г. Москва, online
|
|
|
|
|
|
|
20 апреля 2020 г. (пн) |
|
| 6. |
Лекция 12. Интуиционистская логика первого порядка, ч. 5
С. Л. Кузнецов
20 апреля 2020 г. 14:30, г. Москва, online
|
|
|
|
|
|
|
16 апреля 2020 г. (чт) |
|
| 7. |
Лекция 11. Интуиционистская логика первого порядка, ч. 4
С. Л. Кузнецов
16 апреля 2020 г. 14:45, г. Москва, online
|
|
|
|
|
|
|
13 апреля 2020 г. (пн) |
|
| 8. |
Лекция 10. Интуиционистская логика первого порядка, ч. 3
С. Л. Кузнецов
13 апреля 2020 г. 14:30, г. Москва, online
|
|
|
|
|
|
|
9 апреля 2020 г. (чт) |
|
| 9. |
Лекция 9. Интуиционистская логика первого порядка, ч. 2
С. Л. Кузнецов
9 апреля 2020 г. 14:45, г. Москва, online
|
|
|
|
|
|
|
6 апреля 2020 г. (пн) |
|
| 10. |
Лекция 8. Интуиционистская логика первого порядка, ч. 1
С. Л. Кузнецов
6 апреля 2020 г. 14:30, г. Москва, online
|
|
|
|
|
|
|
27 марта 2020 г. (пт) |
|
| 11. |
Лекция 7. Теоремы Гёделя о неполноте
С. Л. Кузнецов
27 марта 2020 г. 11:00, г. Москва, МИАН
|
|
|
|
|
|
|
23 марта 2020 г. (пн) |
|
| 12. |
Лекция 6. Третье условие доказуемости. Теорема о неподвижной точке
С. Л. Кузнецов
23 марта 2020 г. 14:30, г. Москва, МИАН
|
|
|
|
|
|
|
12 марта 2020 г. (чт) |
|
| 13. |
Лекция 5. Гёделева нумерация
С. Л. Кузнецов
12 марта 2020 г. 16:45, г. Москва, МГУ, Главное здание, ауд. 13-02
|
|
|
|
|
|
|
5 марта 2020 г. (чт) |
|
| 14. |
Лекция 4. Кодирование примитивно-рекурсивных функций
С. Л. Кузнецов
5 марта 2020 г. 16:45, г. Москва, МГУ, Главное здание, ауд. 13-02
|
|
|
|
|
|
|
27 февраля 2020 г. (чт) |
|
| 15. |
Лекция 3. Китайская теорема об остатках
С. Л. Кузнецов
27 февраля 2020 г. 16:45, г. Москва, МГУ, Главное здание, ауд. 13-02
|
|
|
|
|
|
|
20 февраля 2020 г. (чт) |
|
| 16. |
Лекция 2. Арифметика Пеано
С. Л. Кузнецов
20 февраля 2020 г. 16:45, г. Москва, МГУ, Главное здание, ауд. 13-02
|
|
|
|
|
|
|
13 февраля 2020 г. (чт) |
|
| 17. |
Лекция 1. Примитивно-рекурсивные функции
С. Л. Кузнецов
13 февраля 2020 г. 16:45, г. Москва, МГУ, Главное здание, ауд. 13-02
|
|
|
|
|
|
|
Руководитель
Обратная связь: