Ebook: Введение в теорию вычислительных процессов и структур

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