Теория схем программ --- один из разделов теоретического программирования --- изучает те структурные свойства и преобразования программ, которые отличают их от других способов задания алгоритмов. Главный объект исследований --- схема программы, математическая модель программы, в которой отражено взаимодействие информационной и логической структур программы. Монография представляет собой систематическое изложение основных понятий теории схем, ее главных проблем и результатов, ставших классическими. Основное внимание концентрируется на наиболее полно изученном классе схем --- стандартных схемах --- и на фундаментальной проблеме теории схем --- проблеме эквивалентности. Рассматриваются также другие классы схем (рекурсивные схемы, различные обобщения стандартных схем) и проблема взаимной трансляции этих классов.
Книга ориентирована на широкий круг специалистов по системному и теоретическому программированию, она будет полезна также студентам и аспирантам, готовящимся к работе в этой области.
)
отличное;
В продаже с 18.06.2024
