23 октября 2020 г. в 16:00 в ауд. 308 состоится семинар "Теоретические основы информатики".
Докладчик: Кузнецов Степан Львович
Тема доклада: «Алгоритмически разрешимые фрагменты исчисления Ламбека с экспоненциальной и с релевантной модальностью»
Приглашаются все желающие