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


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

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


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


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

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

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



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


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


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

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

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

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


Внимание! В приведенный ниже список включены только доклады с видеоматериалами.
Посмотреть полный список докладов.

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

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

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

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

27 сентября 2021 г. (пн)
4. Лекция 4. Представление вычислимых функций
С. Л. Кузнецов
27 сентября 2021 г. 16:25, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom
С. Л. Кузнецов
  

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

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

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