В предлагаемом конспекте лекций по дисциплине «Теория вычислительных процессов» рассмотрены основные аспекты теории схем программ, представлен подход к исследованию вычислительных процессов посредством формальных моделей, в частности с помощью сетей Петри, нашел отражение ряд вопросов современной теории программных систем (модели темпоральной логики, верификация программных систем и др.). Предназначено студентам специальности 230105 «Программное обеспечение вычислительной техники и автоматизированных систем».