Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  


Лямбда-исчисление
МИАН, комн. 430 (ул. Губкина, 8) + Zoom, г. Москва

Просьба ко всем участникам, в том числе смотрящим видеозаписи,
зарегистрироваться по ссылке: https://forms.gle/b3YiwYqHsvfNTB52A.


В курсе «Лямбда-исчисление» излагаются основы лямбда-исчисления в его бестиповом и типизованном вариантах, связь последнего с системой естественного вывода для интуиционистской логики (соответствие Карри — Говарда) и применения к задачам компьютерного построения и проверки математических доказательств. Для освоения курса желательно знать основы математической логики и теории алгоритмов, в т.ч. неклассических логик.


Расписание на осенний семестр 2021/2022 учебного года:

Время занятий: понедельник 16:25 – 17:50

Первое занятие: 6 сентября



Объявления:
Лекция 20 сентября пройдёт в онлайн-формате.


Финансовая поддержка. Курс проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).


Задачи, часть 1

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

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

Организации
Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл.
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)


Лямбда-исчисление, г. Москва

20 сентября 2021 г. (пн)
1. Лекция 3. Лямбда-исчисление
С. Л. Кузнецов
20 сентября 2021 г. 16:25, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom

13 сентября 2021 г. (пн)
2. Лекция 2. Теорема Чёрча-Россера
С. Л. Кузнецов
13 сентября 2021 г. 16:25, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom
  

6 сентября 2021 г. (пн)
3. Лекция 1. Лямбда-исчисление
С. Л. Кузнецов
6 сентября 2021 г. 16:25, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom
С. Л. Кузнецов
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021