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