Дано доступное изложение логических основ автоматического синтеза программ и метода структурного синтеза. Описан язык концептуального программирования. Много внимания уделено решению методом концептуального программирования задач из разных предметных областей: геометрии, физики, управления данными, моделирования систем, построения трансляторов.
Книга предназначена для специалистов по искусственному интеллекту и системных программистов.
Author(s): Тыугу Э.Х.
Series: Проблемы искусственного интеллекта
Publisher: Наука
Year: 1984
Language: Russian
Tags: Информатика и вычислительная техника;Устаревшие материалы;
Предисловие
Задачи и программы
Представление задач
Логические основы синтеза программ
Структурный синтез программ
Историческая и библиографическая справка
Представление знаний о задачах
Современное понятие типа
Представление знаний
Вычислительные модели
Краткий обзор и комментарии
Общие черты
Описания
Отношения
Копирование
Операторы
Управляющие предложения
Структура и семантика программы
Операционное окружение и некоторые расширения языка
Представление элементарных знаний по математике и физике
Определение понятий
Тригонометрия
Другие понятия
Элементарная физика
Приёмы концептуального программирования
Ввод-вывод
Типы данных программиста
Нисходящее программирование
Управление данными
Базы данных
Работа с множествами
Система управления базами данных DABU
Описание других моделей данных
Примеры
Моделирование систем
Литература
Предметный указатель
