📋
Пост в группе
Мехмат МГУ:
Полугодовой спецкурс ЕНС "Математическая теория программирования" будет читаться онлайн по пятницам, с 15:45, адрес zoom-канала - 696 413 4616 пароль 337605. Курс читает доцент А.М.Миронов.
Целью курса является изложение основных математических моделей компьютерных программ и методов их формальной верификации. В курсе предполагается изложение следующих моделей:
1. Графовые модели нерекурсивных программ
2. Модели функциональных программ, основанные на понятии неподвижной точки.
3. Процессные модели параллельных и распределенных программ.
4. Автоматные модели (модели Крипке) программ с конечным числом состояний.
5. Вероятностные модели программ.