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

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

blank
blank
blank
Красота
blank
Набебин А.А. — Логика и Пролог в дискретной математике
Набебин А.А. — Логика и Пролог в дискретной математике



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



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


Название: Логика и Пролог в дискретной математике

Автор: Набебин А.А.

Аннотация:

Излагаются основные понятия математической логики и формального вывода, теории графов, комбинаторики, теории конечных автоматов в ее связи с монадической логикой. Рассматривается резолютивный вывод и на его основе вводится универсальный язык программирования Пролог. Программируются некоторые алгоритмы на графах, в комбинаторике, в теории конечных автоматов при переходе от формул монадической логики к автоматам, которые эти формулы описывают. Предназначено студентам высших технических учебных заведений и всем интересующимся теорией и практикой применения Пролога.


Язык: ru

Рубрика: Разное/

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

ed2k: ed2k stats

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

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

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

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