Скачать книгу Принципы логики и логическое программирование бесплатно

Категория Наука и учёба | Дата: 6-07-2012, 17:00
  • 0

Принципы логики и логическое программирование

Автор: Метакидес Г., Нероуд А.
Название: Принципы логики и логическое программирование
Издательство: Факториал
Год: 1998
Формат: djvu
Размер: 3.77 Mb

В книге излагаются основные понятия и принципы математической логики.
Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода.
На примере языка ПРОЛОГ рассматриваются принципы логического
программирования и искусственного интеллекта.
Подробно анализируется механизм вычислений и методика проектирования
логических программ.

DepositFilesбесплатно модули и шаблоны для dle


Просмотры: 981
Новости, похожие на Принципы логики и логическое программирование, "Наука и учёба":

Поделитесь ссылкой на новость со своими друзьями:
HTML-cсылка:

BB-cсылка:

Прямая ссылка: