Book: «Логическое программирование»

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

Серия: "Математическое обеспечение ЭВМ"

Сборник работ зарубежных специалистов, отражающий современное со­стояние в новом направлении программирования, тесно связанном с матема­тической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник вклю­чен специально написанный обзор литературы по логическому программиро­ванию. Среди авторов известные зарубежные специалисты: Б. Домелки, П. Середи (ВНР), А. Колмероэ (Франция), Дж. Робинсон (США), Р. Ковальский (Великобритания). Для математиков-прикладников, программистов, аспирантов и студентов университетов.

Издательство: "Мир" (1988)

Формат: 60x90/16, 368 стр.

Купить за 500 руб на Озоне

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги
Д. СтэблиЛогическое программирование в системе /360Учебник по базовому языку программирования ЭВМ третьего поколения - языку Ассемблера. Содержащиеся в нем данные непосредственно применимы к программированию на ЭВМ третьего поколения, которые… — @Мир, @(формат: 60x90/16, 752 стр.) @ @ @ Подробнее...1974
180бумажная книга
Марков В. Н.Современное логическое программирование на языке Visual Prolog 7. 5В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщенного, императивного и объектно-ориентированного… — @BHV, @ @Что вам могут не сказать... @ @ Подробнее...2016
977бумажная книга
Марков В.Н.Современное логическое программирование на языке Visual Prolog 7. 5В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщенного, императивного и объектно-ориентированного… — @БХВ-Петербург, @ @- @ @ Подробнее...2016
670бумажная книга
В. Н. МарковСовременное логическое программирование на языке Visual Prolog 7. 5. УчебникВ учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщенного, императивного и объектно-ориентированного… — @БХВ-Петербург, @(формат: 70x100/16, 544 стр.) @Профтехобразование @ @ Подробнее...2016
585бумажная книга
В. Н. МарковСовременное логическое программирование на языке Visual Prolog 7.5В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщенного, императивного и объектно-ориентированного… — @БХВ-Петербург, @ @Учебная литература для вузов (BHV) @ @ Подробнее...2016
504электронная книга
Кларк К. Маккейб Ф.Введение в логическое программирование на микро прологеКнига известных английских специалистов является доступным введе­нием в новую отрасль программирования - логическое программирова­ние с использованием языка Пролог, реализованного на микро-ЭВМ… — @Радио и связь, @(формат: 60x88/16, 312 стр.) @ @ @ Подробнее...1987
390бумажная книга
Г. М. Сергиевский, Н. Г. ВолченковФункциональное и логическое программированиеРассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано… — @Академия, @(формат: 60x90/16, 320 стр.) @Высшее профессиональное образование @ @ Подробнее...2010
1083бумажная книга
Г. М. Сергиевский, Н. Г. ВолченковФункциональное и логическое программированиеРассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано… — @Academia, @(формат: 60x90/16, 320 стр.) @Высшее профессиональное образование @ @ Подробнее...2010
1575бумажная книга
К. ХоггерВведение в логическое программированиеКнига написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза… — @Мир, @(формат: 60x90/16, 348 стр.) @ @ @ Подробнее...1988
280бумажная книга
Ездаков А.Л.Функциональное и логическое программирование119 стр. В пособии рассмотрены основные аспекты функционального и логического программирования на примере использования языков Lisp и Turbo-Prolog. Для студентов, обучающихся по направлениям… — @БИНОМ, @(формат: 60x90/16, 120 стр.) @Основы информационных технологий @ @ Подробнее...2009
362бумажная книга
Логический подход к искусственному интеллекту. От классической логики к логическому программированиюМонография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шестиглав: логика, аксиоматические системы… — @Мир, @(формат: 84x108/32, 432 стр.) @ @ @ Подробнее...1990
350бумажная книга
Н. И. Цуканова, Т. А. ДмитриеваТеория и практика логического программирования на языке Visual Prolog 7Рассмотрены теоретические основы логического программирования. Даны примеры и описание предметной области с помощью логических моделей. Показана связь базовых понятий логики предикатов и основных… — @Горячая Линия - Телеком, @(формат: 60x90/16, 232 стр.) @ @ @ Подробнее...2011
534бумажная книга
Орлов Сергей АлександровичТеория и практика языков программирования. УчебникУчебник посвящен систематическому изложению теории и практики языков программирования. Он отражает классическое содержание учебной дисциплины по языкам программирования. Все сложные вопросы… — @Питер, @ @Учебник для ВУЗов @ @ Подробнее...2017
2130бумажная книга
Другие книги по запросу «Логическое программирование» >>

Look at other dictionaries:

  • Логическое программирование — программирование в терминах фактов и правил вывода, с использованием языка, основанного на формальных исчислениях. См. также: Технологии программирования Формальная логика Финансовый словарь Финам …   Финансовый словарь

  • логическое программирование — Метод построения программ как совокупности логических правил с предварительно определенными алгоритмами для обработки входных данных программы в соответствии с ее правилами. [ГОСТ 19781 90] Тематики обеспеч. систем обраб. информ. программное EN… …   Справочник технического переводчика

  • Логическое программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная …   Википедия

  • Логическое программирование — 48. Логическое программирование Logical programming Метод построения программ как совокупности логических правил с предварительно определенными алгоритмами для обработки входных данных программы в соответствии с ее правилами Источник: ГОСТ 19781… …   Словарь-справочник терминов нормативно-технической документации

  • Программирование в ограничениях — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная …   Википедия

  • Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Программирование — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения. У этого термина существуют и другие значения, см. Программи …   Википедия

  • Программирование —         процесс составления упорядоченной последовательности действий (программы (См. Программа)) для ЭВМ; научная дисциплина, изучающая программы для ЭВМ и способы их составления, проверки и улучшения.          Каждая ЭВМ является автоматом,… …   Большая советская энциклопедия

  • Логическое выражение — в программировании конструкция языка программирования, результатом вычисления которой является «истина» или «ложь». Содержание 1 Операторы 2 Операции 3 Примеры …   Википедия

  • Логическое "или" — Дизъюнкция  логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная …   Википедия

  • Логическое ИЛИ — Дизъюнкция  логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная …   Википедия


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.