Купить бумажную книгу и читать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "МИФ".
Using the button above you can buy paper versions of this book and similar books on the website of the "MIF" online store.
Реклама. ООО «МИФ», ИНН: 7703809969, erid: LatgBY5SL.
Автор: Метакидес Г., Нероуд А.
Название: Принципы логики и логическое программирование
Издательство: Факториал
Год: 1998
Формат: djvu
Размер: 3.77 Mb
Для сайта:
В книге излагаются основные понятия и принципы математической логики.
Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода.
На примере языка ПРОЛОГ рассматриваются принципы логического
программирования и искусственного интеллекта.
Подробно анализируется механизм вычислений и методика проектирования
логических программ.
Купить бумажную книгу или электронную версию книги и скачать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "МИФ".
Using the button above you can buy paper versions of this book and similar books on the website of the "MIF" online store.
Реклама. ООО «МИФ», ИНН: 7703809969, erid: LatgBY5SL.
Дата создания страницы: