|
В курсе «Лямбда-исчисление» излагаются основы лямбда-исчисления в его бестиповом и типизованном вариантах, связь последнего с системой естественного вывода для интуиционистской логики (соответствие Карри — Говарда) и применения к задачам компьютерного построения и проверки математических доказательств. Для освоения курса желательно знать основы математической логики и теории алгоритмов, в т.ч. неклассических логик.
Расписание на осенний семестр 2021/2022 учебного года:
Время занятий: понедельник 16:25 – 17:50
Первое занятие: 6 сентября
Объявления:
Лекция 20 сентября пройдёт в онлайн-формате.
Финансовая поддержка. Курс проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).
 Задачи, часть 1
Задачи, часть 2
Задачи, часть 3
 RSS: Ближайшие семинары
 Руководитель семинара
Кузнецов Степан Львович
Организации
Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл.
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН) |
