Математическая теория программирования

Целью предлагаемого курса является изложение фундаментальных математических моделей компьютерных программ и методах их формального анализа. В курсе предполагается изложение следующих моделей: графовые модели нерекурсивных программ, модели функциональных программ, основанные на понятии неподвижной точки, процессные модели параллельных и распределенных программ, автоматные модели (модели Крипке) программ с конечным числом состояний, вероятностные модели программ. Для всех классов моделей будут излагаться связанные с этими классами методы формального анализа программ.