Спецкурс «Математическая логика, часть 2»

RUS ENG

Полная версия

СЕМИНАРЫ

Спецкурс «Математическая логика, часть 2»
13 февраля–14 мая 2020 г., МГУ, Главное здание, ауд. 13-02, г. Москва

Финансовая поддержка. Чтение обновлённой версии курса в 2020 г. поддержано грантом фонда «БАЗИС».

Website:

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

RSS: Ближайшие семинары

Руководитель
Кузнецов Степан Львович

Организации
Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Спецкурс «Математическая логика, часть 2», г. Москва, 13 февраля–14 мая 2020 г.

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