 |
- ⒶⒸХоггер К.Дж. Введение в логическое программирование. (Introduction to logic programming, 1984) [Djv-Fax- 4.1M] Перевод с английского М.В. Захарьящева под редакцией Ю.И. Янова. Учебное издание.
(Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1988)
Скан, обработка, формат Djv-Fax: ???, предоставил: Михаил, 2013
- КРАТКОЕ ОГЛАВЛЕНИЕ:
Предисловие редактора перевода (5).
Предисловие (7).
Предисловие автора (8).
Введение (11).
I. Представление знаний и рассуждения (16).
II. Логические программы (51).
III. Стиль программирования (94).
IV. Структуры данных (131).
V. Верификация программ (165).
VI. Формальный синтез программ (203).
VII. Реализация (226).
VIII. Вклад логического программирования в теорию вычислений (277).
Литература (328).
Предметный указатель (339).
ИЗ ИЗДАНИЯ: Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров, облегчающих усвоение материала.
Для математиков-прикладников, специалистов по информатике, программистов, аспирантов и студентов. |
![]() |
