Спецкурс «Математическая логика, часть 2» February 13–May 14, 2020
|
, February 13–May 14, 2020 |
|
|
May 14, 2020 (Thu) |
![](/gifs/1pts.gif) |
1. |
Обзор курса и ответы на вопросы S. L. Kuznetsov, T. Yavorskaya May 14, 2020 16:00, online
|
|
|
|
|
|
May 7, 2020 (Thu) |
![](/gifs/1pts.gif) |
2. |
Лекция 16. Основы теории множеств, ч. 4 S. L. Kuznetsov May 7, 2020 14:45, online
|
|
|
|
|
|
April 30, 2020 (Thu) |
![](/gifs/1pts.gif) |
3. |
Лекция 15. Основы теории множеств, ч. 3 S. L. Kuznetsov April 30, 2020 14:45, online
|
|
|
|
|
|
April 27, 2020 (Mon) |
![](/gifs/1pts.gif) |
4. |
Лекция 14. Основы теории множеств, ч. 2 S. L. Kuznetsov April 27, 2020 14:30, online
|
|
|
|
|
|
April 23, 2020 (Thu) |
![](/gifs/1pts.gif) |
5. |
Лекция 13. Основы теории множеств, ч. 1 S. L. Kuznetsov April 23, 2020 14:45, online
|
|
|
|
|
|
April 20, 2020 (Mon) |
![](/gifs/1pts.gif) |
6. |
Лекция 12. Интуиционистская логика первого порядка, ч. 5 S. L. Kuznetsov April 20, 2020 14:30, online
|
|
|
|
|
|
April 16, 2020 (Thu) |
![](/gifs/1pts.gif) |
7. |
Лекция 11. Интуиционистская логика первого порядка, ч. 4 S. L. Kuznetsov April 16, 2020 14:45, online
|
|
|
|
|
|
April 13, 2020 (Mon) |
![](/gifs/1pts.gif) |
8. |
Лекция 10. Интуиционистская логика первого порядка, ч. 3 S. L. Kuznetsov April 13, 2020 14:30, online
|
|
|
|
|
|
April 9, 2020 (Thu) |
![](/gifs/1pts.gif) |
9. |
Лекция 9. Интуиционистская логика первого порядка, ч. 2 S. L. Kuznetsov April 9, 2020 14:45, online
|
|
|
|
|
|
April 6, 2020 (Mon) |
![](/gifs/1pts.gif) |
10. |
Лекция 8. Интуиционистская логика первого порядка, ч. 1 S. L. Kuznetsov April 6, 2020 14:30, online
|
|
|
|
|
|
March 27, 2020 (Fri) |
![](/gifs/1pts.gif) |
11. |
Лекция 7. Теоремы Гёделя о неполноте S. L. Kuznetsov March 27, 2020 11:00, MIAN
|
|
|
|
|
|
March 23, 2020 (Mon) |
![](/gifs/1pts.gif) |
12. |
Лекция 6. Третье условие доказуемости. Теорема о неподвижной точке S. L. Kuznetsov March 23, 2020 14:30, MIAN
|
|
|
|
|
|
March 12, 2020 (Thu) |
![](/gifs/1pts.gif) |
13. |
Лекция 5. Гёделева нумерация S. L. Kuznetsov March 12, 2020 16:45
|
|
|
|
|
|
March 5, 2020 (Thu) |
![](/gifs/1pts.gif) |
14. |
Лекция 4. Кодирование примитивно-рекурсивных функций S. L. Kuznetsov March 5, 2020 16:45
|
|
|
|
|
|
February 27, 2020 (Thu) |
![](/gifs/1pts.gif) |
15. |
Лекция 3. Китайская теорема об остатках S. L. Kuznetsov February 27, 2020 16:45
|
|
|
|
|
|
February 20, 2020 (Thu) |
![](/gifs/1pts.gif) |
16. |
Лекция 2. Арифметика Пеано S. L. Kuznetsov February 20, 2020 16:45
|
|
|
|
|
|
February 13, 2020 (Thu) |
![](/gifs/1pts.gif) |
17. |
Лекция 1. Примитивно-рекурсивные функции S. L. Kuznetsov February 13, 2020 16:45
|
|
|
|
![](/gifs/1pts.gif) |
|