Теория схем программ --- один из разделов теоретического программирования --- изучает те структурные свойства и преобразования программ, которые отличают их от других способов задания алгоритмов. Главный объект исследований --- схема программы, математическая модель программы, в которой отражено взаимодействие информационной и логической структур программы. Монография представляет собой систематическое изложение основных понятий теории схем, ее главных проблем и результатов, ставших классическими. Основное внимание концентрируется на наиболее полно изученном классе схем --- стандартных схемах --- и на фундаментальной проблеме теории схем --- проблеме эквивалентности. Рассматриваются также другие классы схем (рекурсивные схемы, различные обобщения стандартных схем) и проблема взаимной трансляции этих классов.
Книга ориентирована на широкий круг специалистов по системному и теоретическому программированию, она будет полезна также студентам и аспирантам, готовящимся к работе в этой области.
Дополнительно: При заказе от 3-х книг -- скидка от 3%.
При заказе от 6-ти книг -- скидка от 6%.
При заказе от 10-ти книг -- скидка от 10%.
Доставка "Почтой России" или "Яндексом": отправка со склада в течение 2х-3х дней!
Отправка другими транспортными компаниями в течение 4х дней.
Самовывоз в любой день.
Подробно опишу состояние книги; содержание -- до заказа (через кнопку "Спросить" *).
Фото -- до за... [подробнее]
)
отличное;
В продаже с 18.06.2024
