Спецкурс "Автоматы и логика на бесконечных последовательностях"

Последнее изменение: 07/11/2018 07:20:49

Автоматическая формальная верификация (model checking) - одно из самых практически значимых приложений теоретической информатики. Разработчики сложных программных систем постоянно используют такие средства как SPIN, ECLAIR, Java Pathfinder и т.п. В семестровом спецкурсе М.В.Волкова "Автоматы и логика на бесконечных последовательностях" будет рассказано о той интересной и нетривиальной математике, на которой основаны эти и родственные им системы.

Спецкурс адресован магистрантам направлений ФИИТ и КН, но будет доступен и студентам бакалавриата, освоившим базовые понятия теории автоматов (детерминированные и недетерминированные конечные автоматы, регулярные языки, теорема Клини).

Спецкурс читается по средам 3-й парой (12:50-14:20) в ауд. 632.

План спецкурса (с ссылками на конспекты прочитанных лекций)

Смотрите также: