Зарегистрироваться
Восстановить пароль
FAQ по входу

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

  • Файл формата djvu
  • размером 13,03 МБ
  • Добавлен пользователем
  • Отредактирован
Тыугу Э.Х. Концептуальное программирование
М.: Наука. Главная редакция физико-математической литературы, 1984. - 256с.
Серия "Проблемы искусственного интеллекта", №5
Дано доступное изложение логических основ автоматического синтеза программ и метода структурного синтеза. Описан язык концептуального программирования. Много внимания уделено решению методом концептуального программирования задач из разных предметных областей: геометрии, физики, управления данными, моделирования систем, построения трансляторов.
Книга предназначена для специалистов по искусственному интеллекту и системных программистов.
Оглавление:
Предисловие
Задачи и программы
Представление задач
Логические основы синтеза программ
Структурный синтез программ
Историческая и библиографическая справка
Представление знаний о задачах
Современное понятие типа
Представление знаний
Вычислительные модели
Краткий обзор и комментарии
Язык УТОПИСТ
Общие черты
Описания
Отношения
Копирование
Операторы
Управляющие предложения
Структура и семантика программы
Операционное окружение и некоторые расширения языка
Представление элементарных знаний по математике и физике
Определение понятий
Тригонометрия
Другие понятия
Элементарная физика
Приёмы концептуального программирования
Ввод-вывод
Типы данных программиста
Нисходящее программирование
Языковые препроцессоры
Управление данными
Базы данных
Работа с множествами
Система управления базами данных DABU
Описание других моделей данных
Примеры
Моделирование систем
Реализация семантики языков программирования
Литература
Предметный указатель
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация