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

Аннотации, видеозаписи, слайды, контакты:
http://logic.math.msu.ru/sem/ml/