Концептуальное программирование

Купить бумажную книгу и читать

Название: Концептуальное программирование

Автор: Тыугу Э.Х.

Издательство: Наука

Год: 1984

Страниц: 256

Формат: DJVU

Размер: 13.7 Mб

Язык: русский

Серия: Проблемы искусственного интеллекта

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

Книга предназначена для специалистов по искусственному интеллекту и системных программистов.

Оглавление:

Предисловие

Задачи и программы

Представление задач

Логические основы синтеза программ

Структурный синтез программ

Историческая и библиографическая справка

Представление знаний о задачах

Современное понятие типа

Представление знаний

Вычислительные модели

Краткий обзор и комментарии

Язык УТОПИСТ

Общие черты

Описания

Отношения

Копирование

Операторы

Управляющие предложения

Структура и семантика программы

Операционное окружение и некоторые расширения языка

Представление элементарных знаний по математике и физике

Определение понятий

Тригонометрия

Другие понятия

Элементарная физика

Приёмы концептуального программирования

Ввод-вывод

Типы данных программиста

Нисходящее программирование

Языковые препроцессоры

Управление данными

Базы данных

Работа с множествами

Система управления базами данных DABU

Описание других моделей данных

Примеры

Моделирование систем

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

Литература

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