Название спецкурса на русском языке
Математическая теория программирования
Перевод названия курса на английский язык
Mathematical theory of programming
Авторы курса
доц. А.М. Миронов
Целевая аудитория
5 курс
Подразделение
[Кафедра МаТИС]
Семестр
Полгода (осень)
Тип курса
Курс научно-естественного содержания
Учебный год
2020/21
Аудитория
[Неприменимо]
Аннотация
Целью предлагаемого курса является изложение фундаментальных математических моделей компьютерных программ и методах их формального анализа. В курсе предполагается изложение следующих моделей: графовые модели нерекурсивных программ, модели функциональных программ, основанные на понятии неподвижной точки, процессные модели параллельных и распределенных программ, автоматные модели (модели Крипке) программ с конечным числом состояний, вероятностные модели программ. Для всех классов моделей будут излагаться связанные с этими классами методы формального анализа программ.
Дополнительная информация

пятница, 15:45, дистанционно, Zoom 696 413 4616, п 337605