Книга: «Логическое программирование»
|
Серия: "Математическое обеспечение ЭВМ" Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник включен специально написанный обзор литературы по логическому программированию. Среди авторов известные зарубежные специалисты: Б. Домелки, П. Середи (ВНР), А. Колмероэ (Франция), Дж. Робинсон (США), Р. Ковальский (Великобритания). Для математиков-прикладников, программистов, аспирантов и студентов университетов. Издательство: "Мир" (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 Учебник | В учебнике излагается полный набор классических и новейших инструментов логического программирования, а… — (формат: Твердая бумажная, 544 стр.) Подробнее... | 2016 | 717 | бумажная книга |
| В. Н. Марков | Современное логическое программирование на языке 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 | бумажная книга |
См. также в других словарях:
Логическое программирование — программирование в терминах фактов и правил вывода, с использованием языка, основанного на формальных исчислениях. См. также: Технологии программирования Формальная логика Финансовый словарь Финам … Финансовый словарь
логическое программирование — Метод построения программ как совокупности логических правил с предварительно определенными алгоритмами для обработки входных данных программы в соответствии с ее правилами. [ГОСТ 19781 90] Тематики обеспеч. систем обраб. информ. программное EN… … Справочник технического переводчика
Логическое программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Логическое программирование — 48. Логическое программирование Logical programming Метод построения программ как совокупности логических правил с предварительно определенными алгоритмами для обработки входных данных программы в соответствии с ее правилами Источник: ГОСТ 19781… … Словарь-справочник терминов нормативно-технической документации
Программирование в ограничениях — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
