В первой половине книги логическое программирование вводится на уровне учебного пособия, однако в дополнение здесь ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Хоггер К.N. Введение в логическое программирование


В первой половине книги логическое программирование вводится на уровне учебного пособия, однако в дополнение здесь дается гораздо больше теоретического и исторического материала, чем обычно можно было бы ожидать в учебнике по программированию. Уровень изложения соответствует курсу информатики, читаемому студентам первого года обучения. Во второй половине рассматриваются более сложные аспекты логики как вычислительного формализма. Цель этой части книги - собрать воедино, упростить и объяснить избранные темы из подчас разрозненной и технически очень сложной исследовательской литературы, а также дать обзор последних достижений в теории и приложениях. Она может быть использована в качестве справочника как студентами, специализирующимися в области логического программирования, так и теми исследователями, для которых эта область является сравнительно новой.

(cкачать страницу)

Смотреть книгу на libgen

В первой половине книги логическое программирование вводится на уровне учебного пособия,  однако в дополнение здесь дается гораздо больше теоретического и исторического материала,  чем обычно можно было бы ожидать в учебнике по программированию.  Уровень изложения соответствует курсу информатики,  читаемому студентам первого года обучения.  Во второй половине рассматриваются более сложные аспекты логики как вычислительного формализма.  Цель этой части книги  -  собрать воедино,  упростить и объяснить избранные темы из подчас разрозненной и технически очень сложной исследовательской литературы,  а также дать обзор последних достижений в теории и приложениях.  Она может быть использована в качестве справочника как студентами,  специализирующимися в области логического программирования,  так и теми исследователями,  для которых эта область является сравнительно новой.