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

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

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

По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Читай Город".

Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.

Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: MvGzQC98w3Z1gMq1kx5ACoy5.

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

Автор:

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

Год: 1984

Страниц: 256

Формат: DJVU

Размер: 13.7 Mб

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

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

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

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

Оглавление:

 

Предисловие

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

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

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

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

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

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

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

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

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

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

Язык УТОПИСТ

Общие черты

Описания

Отношения

Копирование

Операторы

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

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

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

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

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

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

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

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

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

Ввод-вывод

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

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

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

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

Базы данных

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

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

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

Примеры

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

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

Литература

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

Дата создания страницы: