Вольфенгаген В.Э., Яцук В.Я. Аппликативные вычислительные системы и концептуальный метод проектирования систем знаний

формат pdf
размер 5 МБ
добавлен 23 сентября 2010 г.

Под. ред. проф. Л. А. Майбороды. М.: Министерство Обороны СССР, 1987. 256 с.

В книге изложены особенности концептуального моделирования систем знаний. Приведена характеристика экспертных систем, даются рекомендации по выбору системы программирования. Рассмотрено разделение проектирования по уровням. Изложены принципы разработки вычислительной среды с операторами аппликации и абстракции. Исследованы базовые свойства возникающих при этом исчислений. Изложено строение концептуализированной теории типов и способы учета в модели субъекта-исследователя. Уделено внимание ситуативному моделированию предметных областей.

Похожие разделы

Смотрите также

Городняя Л.В. Основы функционального программирования

формат pdf
размер 1.13 МБ
добавлен 28 января 2011 г.

М.: Изд-во "Интернет-университет информационных технологий - ИНТУИТ. ру", 2004. - 280 c.: ил. Студенты познакомятся с основами символьной обработки информации, слабо отраженными в отечественной литературе, а также с эффективными методами преобразования информации, реализация которых требует многоуровневого обобщения и абстрагирования, что наиболее естественно выражается в терминах функционального программирования. Функциональное программирование...

Журнал - Практика Функционального Программирования 2009 № 2

формат pdf
размер 1.34 МБ
добавлен 18 января 2011 г.

Центральная тема второго выпуска журнала — демонстрация применения функционального программирования в реальных, а не академических проектах. Содержание: Дмитрий Зуйков. История разработки одного компилятора. Дмитрий Астапов. Использование Haskell при поддержке критически важной для бизнеса информационной системы. Сергей Зефиров, Владислав Балин. Прототипирование с помощью функциональных языков. Алекс Отт. Использование Scheme в разработке семей...

Лабораторная работа - Знакомство с языком Lisp. Абстракция вычислений

Лабораторная

формат zip
размер 166.12 КБ
добавлен 02 ноября 2009 г.

Задача: Реализовать процедуру нахождения неподвижной точки методом итераций в общем виде, то есть параметризованную оператором преобразования процедуру, вычисляющую преобразование Ньютона, и применить её для реализации метода Ньютона в решении уравнения: $e^{x} - e^{-x} - 2 = 0$. Нахождение производной также реализовать в виде процедуры (принимающей функцию и возвращающей функцию~ --- её производную). } Решение Для реализации данной программы н...

Реферат - Программирование на языке CLIPS

Реферат

формат pdf
размер 271.2 КБ
добавлен 18 декабря 2009 г.

Название языка CLIPS — аббревиатура от С Language Integrated Production System. Язык был разработан в Центре космических исследований NASA (NASA's Johnson Space Center) в середине 1980-х годов и во многом сходен с языками, созданными на базе LISP, в частности OPS5 и ART. Содержание Краткая история CLIPS. Правила и функции в CLIPS. Факты. Правила. Наблюдение за процессом интерпретации. Использование шаблонов. Определение функций. Объектно-ориент...

Шалимов П.Ю. Функциональное программирование

формат djvu
размер 3.83 МБ
добавлен 08 сентября 2010 г.

Учеб. пособие. Рассмотрены вопросы функционального стиля программирования с позиций декларативного подхода, позволяющего повысить интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. В качестве базового языка рассматривается функциональный язык Лисп. Изложение сопровождается многочисленными примерами конкретных программ. Учебное пособие предназначено для студентов всех форм обучения и дополнительного образов...