Авторизация
Крутые фишки

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

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

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

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

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

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

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

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

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

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

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

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

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


Метки: Компьютерные, Издательство «Наука», Книги 1984 года, Тыугу Э Х, Книги в DJVU, Язык: Русский

  • Комментарии [0]
  • Просмотров: 649 |
Поделитесь с друзьями:
Похожие публикации:
Комментарии:
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
[001] | [002] | [003] | [004] | [005] | [006] | [007] | [008] | [009] | [010] | [011] | [012] | [013] | [014] | [015] | [016] | [017] | [018] | [019] | [020] | [021] | [022] | [023] | [024] | [025] | [026] | [027] | [028] | [029] | [030] | [031] | [032] | [033] | [034] | [035] | [036] | [037] | [038] | [039] | [040] | [041] | [042] | [043] | [044] | [045] | [046] | [047] | [048] | [049] | [050] | [051] | [052] | [053] | [054] | [055] | [056] | [057] | [058] | [059] | [060] | [061] | [062] | [063] | [064] | [065] | [066] | [067] | [068] | [069] | [070] | [071] | [072] | [073] | [074] | [075] | [076] | [077] | [078] | [079] | [080] | [081] | [082] | [083] | [084] | [085] | [086] | [087] | [088] | [089] | [090] | [091] | [092] | [093] | [094] | [095] | [096] | [097] | [098] | [099] | [100] | [101] | [102] | [103] | [104] | [105] | [106] | [107] | [108] | [109] | [110] | [111] | [112] | [113] | [114] | [115] | [116] | [117] | [118] | [119] | [120] | [121] | [122] | [123] | [124] | [125] | [126] | [127] | [128] | [129] | [130] | [131] | [132] | [133] | [134] | [135] | [136] | [137] | [138] | [139] | [140] | [141] | [142]