Кузнецов Степан Львович
Ассистент кафедры, ведущий научный сотрудник отдела математической логики МИАН, д. ф.-м. н.
E-mail адресsk at mi-ras.ru
Личная страницаhttps://homepage.mi-ras.ru/~sk/
Научные интересыНеклассические логики, субструктурная логика и её приложения в математической лингвистике.
Профили: MathNet | ИСТИНА | DBLP | Google Scholar | Math Genealogy | eLibrary | ВШЭ | МФК | YouTube
Видеолекции
- λ-исчисление (МИАН / МФТИ, осень 2021 г.)
- Структурная теория доказательств и алгебраическая логика (МИАН / МФТИ, весна 2021 г.)
- Циклические доказательства (МИАН, осень 2020 г., совместно с Д.С. Шамкановым)
- Cпецкурс «Математическая логика», часть 2 (мехмат МГУ): теоремы Гёделя о неполноте (весна 2020 г.); начала теории множеств (весна 2021 г.).
- Вычислительная теория доказательств и лямбда-исчисление (МИАН, 2019-2020 г., совместно с Л.Д. Беклемишевым)
