Тыугу Э.Х. — Концептуальное программирование

Дано доступное изложение логических основ автоматического синтеза программ и метода структурного синтеза. Описан язык концептуального программирования. Много внимания уделено решению методом концептуального программирования задач из разных предметных областей: геометрии, физики, управления данными, моделирования систем, построения трансляторов.
Книга предназначена для специалистов по искусственному интеллекту и системных программистов.

Оглавление:
Предисловие

Задачи и программы
Представление задач
Логические основы синтеза программ
Структурный синтез программ
Историческая и библиографическая а

Представление знаний о задачах
Современное понятие типа
Представление знаний
Вычислительные модели
Краткий обзор и комментарии

Язык УТОПИСТ
Общие черты
Описания
Отношения
Копирование
Операторы
Управляющие предложения
Структура и семантика программы
Операционное окружение и некоторые расширения языка

Представление элементарных знаний по математике и физике
Определение понятий
Тригонометрия
Другие понятия
Элементарная физика

Приёмы концептуального программирования
Ввод-вывод
Типы данных программиста
Нисходящее программирование
Языковые препроцессоры

Управление данными
Базы данных
Работа с множествами
Система управления базами данных DABU
Описание других моделей данных

Примеры
Моделирование систем
Реализация семантики языков программирования

Литература
Предметный указатель

Название: Концептуальное программирование
Автор: Тыугу Э.Х.
Издательство: Наука
Год: 1984
Страниц: 256
Формат: DJVU
Размер: 13.7 Mб
Язык: русский
Серия: Проблемы искусственного интеллекта