URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Домелки Б., Середи П., Колмероэ А.. Робинсон Дж., Ковальский Р. Логическое программирование ЭВМ: Сборник статей: Пер. с англ. и франц.
Id: 3175
 
499 руб.

Логическое программирование ЭВМ: Сборник статей: Пер. с англ. и франц.

1988. 368 с. Твердый переплет. Букинист. Состояние: 4. .

 Аннотация

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

Для математиков-прикладников, программистов, аспирантов и студентов университетов.


 СОДЕРЖАНИЕ

Предисловие......................5

Дж. Робинсон. Логическое программирование --- прошлое, настоящее

и будущее. Перевод Агафонова В. Н.......... 7

А. Колмероэ, А. Кануи, М. ван Канегем. Пролог --- теоретические основы и современное развитие. Перевод Хомякова М. В... 27

Р. Ковальский. Логическое программирование. Перевод Воронкова А. А. 134

Б. Домёлки, П. Середи. Практическое использование' Пролога. Перевод Борщева В. Б..................167

М. Бранохе. Управление памятью в реализациях Пролога. Перевод

Веницкого С. Л..................193

К- Кларк, У. Маккиман, Ш. Зикель. Спецификация алгоритмов численного интегрирования на языке логических программ. Перевод Воронкова А. А................211

A. Ханссон, С. Хариди, С.-А. Тернлунд. Свойства одного языка логи-

ческого программирования. Перевод Веницкого С. Л.....230

К. Кларк, Ф. Маккейб, С. Грегори. Средства языка IC-PROLOG. Перевод Нумерова В. С................245

Дж. Робинсон, Э. Зиберт. Логлисп: мотивировка, основные возможности и реализация. Перевод Нумерова В. С........261

М. Хагия, Т. Сакураи. Основы логического программирования, базирующиеся на индуктивных определениях. Перевод Воронкова А. А.....................276

B. Н. Агафонов, В. Б. Борщев, А. А. Воронков. Логическое програм-

мирование в широком смысле (обзор).........298

 
© URSS 2016.

Информация о Продавце