Метакидес Г., Нероуд А., "Принципы логики и логического программирования"
Факториал | ISBN 5886880572 | 1998 год | DjVu | 3,72 Mb | 288 страниц
Факториал | ISBN 5886880572 | 1998 год | DjVu | 3,72 Mb | 288 страниц
“ | Книга известных специалистов в области математической логики и логического программирования. Излагаются основные понятия и принципы маматематической логики. Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода. На примере языка ПРОЛОГ рассматриваются принципы логического программирования. Подробно анализируется механизм вычислений и методика проектирования логических программ. Изложение отличается методическими достоинствами — книга написана в хорошем стиле, не требует специальных предварительных знаний, содержит большое количество примеров и задач. Может быть рекомендована в качестве учебного пособия для программистов разной квалификации, специалистов по искусственному интеллекту и для всех интересующихся математической логикой, а также теорией и практикой логического программирования. | ” |