Перевод названия семинара на английский язык
Modal and algebraic logic
Аннотация
Разбираются как полученные ранее, так и последние результаты в области модальных и интуиционистских логик, алгебраической логики, категорной логики, исчисления Ламбека, математической лингвистики, теории сложности алгоритмов.
Является ли семинар просеминаром?
Off
Подразделения
Семестр
Целевая аудитория
Дополнительная информация
дистанционно (Zoom); материалы и контакты: http://lpcs.math.msu.su/rus/ml.htm
Учебный год
2020/21
Аудитория