(12:00 - 13:20 по понедельникам)
- 23 октября - семинар-подготовка к РК-1 у третьекурсников (а кому нужны темы курсовых, подходите позже)
- 30 октября - алгоритм Кларка вывода КС-грамматик по классам эквивалентности
- 6 ноября (если я буду не в Казани, а иначе - со смещением на день вперёд) - Alternating Finite Automata
- 13 ноября - обзор алгоритмов порождения и визуализации LTS
- 20 ноября - у нас HoTT Cats по плану
- 27 ноября - теорема Роудса-Крона и декомпозиция групп