Subcategories

Метакидес Г., Нероуд А., "Принципы логики и логического программирования"

Posted By: Alexpal

Метакидес Г., Нероуд А., "Принципы логики и логического программирования"
Факториал | ISBN 5886880572 | 1998 год | DjVu | 3,72 Mb | 288 страниц


Книга известных специалистов в области математической логики и логического программирования. Излагаются основные понятия и принципы маматематической логики. Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода.
На примере языка ПРОЛОГ рассматриваются принципы логического программирования. Подробно анализируется механизм вычислений и методика проектирования логических программ. Изложение отличается методическими достоинствами — книга написана в хорошем стиле, не требует специальных предварительных
знаний, содержит большое количество примеров и задач.
Может быть рекомендована в качестве учебного пособия для программистов разной квалификации, специалистов по искусственному интеллекту и для всех интересующихся математической логикой, а также теорией и практикой логического программирования.