Неформальные процедуры и автоматизация проектирования; Ленанд, 2020

Автоматизация проектирования сложных технических и хозяйственных объектов стала одним из самых перспективных направлений использования электронно-вычислительной техники. Решение этой задачи связано с организацией человеко-машинного диалога и специальных неформальных процедур. Об этих процедурах и специфическом аппарате, необходимом для решения таких задач, рассказывается в настоящей книге. Книга рассчитана на широкий круг читателей, в том числе математиков, программистов, экономистов, студентов математических, инженерных и экономических специальностей. Прочитав ее, они убедятся в том, что создание системы программных процедур должно опираться на некоторые общие принципы.