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








