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

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

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

Пятница 16:45–18:20, аудитория 425 (2ГУМ).
Начало 22 сентября 2023 года.

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

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

---