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


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

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


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


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

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

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



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


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


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

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

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


Лямбда-исчисление, г. Москва, 6 сентября–13 декабря 2021 г.

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

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

29 ноября 2021 г. (пн)
3. Лекция 12. Неразрешимость задачи о сильной нормализуемости (продолжение)
С. Л. Кузнецов
29 ноября 2021 г. 16:25, г. Москва, online на платформе Zoom 		С. Л. Кузнецов
  

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

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

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

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

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

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

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

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

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

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

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