Перевод названия семинара на английский язык
Logic problems in computer science
Авторы семинара
Артемов С.Н., Беклемишев Л.Д., Крупский В.Н., Пентус М.Р., Яворская Т.Л.
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Магистранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Год
Является ли семинар просеминаром?
Нет
Учебный год
2020/21
Аудитория
[Неприменимо]
Аннотация
Разбираются актуальные вопросы и разработки студентов и аспирантов на стыке математической логики и теории алгоритмов.
Дополнительная информация

дистанционно (Zoom); материалы и контакты: http://lpcs.math.msu.su/rus/ml.htm