28 мая в 12.10 в ауд. 318 состоится семинар «Теоретические основы информатики», докладчик — Кузнецов Степан Львович.
Тема доклада: «Категориальные грамматики, основанные на вариантах исчисления Ламбека».
Приглашаются все желающие!
/ 