Вычислимость и неклассические логики
Руководители семинара:
доц. В. Е. Плиско, доц. В. Н. Крупский, м.н.с. А. Ю. Коновалов
Вторник 16:45–18:20, онлайн (Zoom).
Начало 11 октября.
На семинаре разбираются как актуальные публикации, так и разработки студентов в области интуиционистских и модальных логик и теории алгоритмов.
Для получения ссылки Zoom (и включения в рассылку о докладах) — напишите любому из руководителей семинара.
Страница семинара в базе данных мехмата.
См. также: Научные семинары кафедры