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

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

^{Мини-курс:}^{Лямбда-исчисление}
^{Скачать презентации:}^Лекц ^{ия 1}^,^{Лекция 2}
^{Лектор:}^{Кузнецов Степан Львович}^{, д.ф.-м.н., специалист в области математической логики, ведущий научный сотрудник отдела математической логики Математического института им. В. А. Стеклова Российской академии наук (Москва).}

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

2024-11-08 16:14