Курс "Формальные системы и алгоритмы", МФТИ, ФУПМ

Третий семестр

По материалам этого курса написано учебное пособие.