Math-Net.Ru

RUS ENG

SEMINARS

February 13–May 14, 2020

Website:

https://www.mi-ras.ru/~sk/lehre/matlog2020

RSS: Forthcoming seminars

Organizer
Kuznetsov Stepan Lvovich

Organizations
Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

, February 13–May 14, 2020

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

© Steklov Math. Inst. of RAS, 2024