Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

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

Posted By: Alexpal

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


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