6 ноября 2020 г. в 16:00 в ауд. 308 состоится семинар "Теоретические основы информатики".
Докладчик: Карлов Борис Николаевич
Тема доклада: «Временная сложность проблемы тотальной выводимости для контекстно-свободных грамматик»
Приглашаются все желающие