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


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

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


В этом году курс посвящён в основном типизованным вариантам λ-исчисления, в т.ч. системам более высоких порядков, таким как система F, а также возможностям таковых систем по представлению доказуемо тотальных вычислимых функций.

Литература:


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

Время занятий: вторник 16:25 – 17:50

Первое занятие: 13 сентября. Занятия закончились 29 ноября.

Задачи: часть 1 (№№ 1–7); часть 2 (№№ 8–14); часть 3 (№№ 15–20)

К экзамену: основные теоретические вопросы


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

Лектор
Кузнецов Степан Львович

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


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

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

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

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

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

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

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

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

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

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

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

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

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