Москва: Мир, 1988. — 368 с. Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник...
Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др. ), методы реализации и проекты машинных архитектур. В сборник включен специально написанный...
М.: Радио и связь, 1989. — 131 с. — ISBN: 5-256-00338-0. Рассмотрен новый подход к созданию и использованию баз данных (БД) в системах обработки информации, основанных на отображении временных рядов. Анализируются состояние и тенденции развития информационного обеспечения в системах обработки данных. Рассматриваются проблемы применения БД для приложений, характеризующихся...
Минск: Институт технической кибернетики НАН Беларуси, 2001. — 200 с. — ISBN: 985-6453-71-2. При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида-Маллера. Эта комбинаторная задача существенно усложняется в случае не полностью определенных булевых...
К.: Техника, 1980. -79с., ил. Рассказывается о применении ЭВМ для решения некоторых невычислительных задач. Показано, как вычислительные машины выступают соперником человека в играх, как они решают логические задачи, как с их помощью моделируется распознавание простейших образов, обсуждается использование ЭВМ в исследовании некоторого класса искусственных эволюций.
Монография. — Перевод с английского Л.Г. Осмоловского, В.Э. Вольфенгагена, В.Я. Яцука. — С предисловием и примечаниями Д.А. Поспелова. — Москва: Наука, Главная редакция физико-математической литературы, 1990. — 280 с. — (Проблемы искусственного интеллекта). Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в...
М.: Наука, 1989. — 160 с. Неформальные процедуры, выполняемые человеком, обладают рядом специфических особенностей, существенно затрудняющих их представление в ЭВМ с помощью алгоритмических языков программирования. Предлагаемая книга посвящена исследованию неалгоритмических аспектов представления неформальных процедур. В качестве модели представления знаний используется...
Пер. с англ. под ред. к.ф.м.н. В.А. Захарова и академика В.А. Садовничего. — М.: Изд-во "Факториал", 1998. — 288 с. — ISBN: 5-88688-037-2. Книга известных специалистов в области математической логики и логического программирования (Греция, США). Излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической...
Книга известных специалистов в области математической логики и логического программирования (Греция, США). Излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода. На...
2-е изд., испр. — М.: Интуит, 2016. — 125 с. Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой...
Учебное пособие для ВУЗов. — М.: Академия, 2010. — 320 с. — ISBN 978-5-7695-6433-8. Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить...
МАИ.
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.
Объем: 111стр.
Содержание:
Парадигмы.
Системы логического программирования.
Логика и исчисление предикатов.
Логическое программирование как алгоритмическая модель.
Типизированное логическое программирование.
Языки программирование Prolog и Mercury.
Рекурсивные структуры данных....
М.: Мир, 1988. — 348 с. Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров, облегчающих усвоение...
М.: Мир, 1992. — 352 с., ил. В книге известных итальянских и австрийских специалистов систематически изложены подходы к построению дедуктивных баз данных, которые были разработаны с их участием в рамках европейских проектов по созданию новых поколений вычислительных систем. Особенность книги - удачное сочетание теоретических основ и технологии построения основных компонентов...
Комментарии