Спецкурс «Математическая логика, часть 2»
(February 13–May 14, 2020)

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