Кафедра математической логики и теории алгоритмов

Вычислимость и неклассические логики

Руководители семинара:

доц. В. Е. Плиско, доц. В. Н. Крупский, м.н.с. А. Ю. Коновалов


Понедельник 16:45–18:20, онлайн (Zoom).
Начало 20 сентября.

 
На семинаре разбираются как актуальные публикации, так и разработки студентов в области интуиционистских и модальных логик и теории алгоритмов.

Для получения ссылки Zoom (и включения в рассылку о докладах) — напишите любому из руководителей семинара.

Страница семинара в базе данных мехмата.