Семенов В.В. Семантическое программирование в САПР систем управления

Учебное пособие. — Москва: МАИ, 1983. — 66с.
В пособии рассматривается проблема семантического программирования в САПР систем управления. Изучается технологический процесс расчета систем управления, особенности предметной области проектирования и формируется язык представления знаний в области теории управления для целей автоматизированного ввода заданий в ЭВМ. Приводятся примеры. Пособие предназначено для студентов , аспиратнов и научных работников.
Глава1. проблема семантического программирования.
Глава2. формальный аппарат семантического программирования.
Глава3. пример ввода и формирования задания в сапр программ управления.
тираж: 500экз.