Новости НОМЦ ПФО

В Институте математики и механики им. Н.И. Лобачевского КФУ были прочитаны два мини-курса лекций

Научно-образовательный математический центр Приволжского федерального округа (НОМЦ ПФО) и Институт математики и механики им. Н.И. Лобачевского КФУ с 5 по 7 ноября 2024 года организовали два мини-курса лекций для студентов, магистрантов, аспирантов и молодых ученых. Лекции были прочитаны приглашенными лекторами из Математического института им. В. А. Стеклова Российской академии наук (МИАН).
Мини-курс: Лямбда-исчисление
Скачать презентации: Лекция 1, Лекция 2
Лектор: Кузнецов Степан Львович, д.ф.-м.н., специалист в области математической логики, ведущий научный сотрудник отдела математической логики Математического института им. В. А. Стеклова Российской академии наук (Москва).

Мини-курс: Формальная теория истины по Крипке
Скачать презентацию: Лекция 1-2
Лектор: Сперанский Станислав Олегович, к.ф.-м.н., старший научный сотрудник отдела математической логики Математического института им. В. А. Стеклова Российской академии наук (Москва).
2024-11-08 15:02