Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

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



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


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

Авторы: Метакидес Г., Нероуд А.

Аннотация:

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

Может быть рекомендована в качестве учебного пособия для программистов разной квалификации, специалистов по искусственному интеллекту и для всех интересующихся математической логикой, а также теорией и практикой логического программирования.


Язык: ru

Рубрика: Computer science/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1998

Количество страниц: 288

Добавлена в каталог: 30.11.2020

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте