Название: Логика и пролог в дискретной математике Автор: Набебин А.А. Издательство: МЭИ Год: 1996 Формат: pdf Страниц: 454 Для сайта:Mirknig.su Размер: 40,64 Мб Язык: русский
Излагаются основные понятия математической логики и формального вывода, теории графов, комбинаторики, теории конечных автоматов в ее связи с монадической логикой. Рассматривается резолютивный вывод и на его основе вводится универсальный язык программирования Пролог. Программируются некоторые алгоритмы на графах, в комбинаторике, в теории конечных автоматов при переходе от формул монадической логики к автоматам, которые эти формулы описывают.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Основы дискретной математики (2017) Название: Основы дискретной математики Автор(ы): Осипова В.А. Издательство: М.: Форум : Инфра-М Год: 2017 Страниц: 158 Формат: PDF Размер: 10 Мб ...
Дискретная математика. Сборник задач (2018) Название: Дискретная математика. Сборник задач Автор(ы): Гусева А.И., Киреев В.С., Тихомирова А.Н. Издательство: М.: Курс: Инфра-М Год: 2018 Страниц:...
Дискретная математика для инженера Название: Дискретная математика для инженера Автор: Кузнецов О.П., Адельсон-Вельский Г.М. Издательство: М.: Энергия Год: 1980 Cтраниц: 344 Формат:...
Задачи и упражнения по дискретной математике Название: Задачи и упражнения по дискретной математике (Учебное пособие), (3-е издание) Автор: Гаврилов Г. П, Сапоженко А. А. Издательство: М.:...
Математическая логика (2018) Название: Математическая логика Автор: Унучек С.А. Издательство: Ай Пи Эр Медиа Год: 2018 Страниц: 239 Формат: pdf Размер: 97 mb В основе...
Основы дискретной математики Название: Основы дискретной математики Автор: Гаджиев А.А. Издательство: Махачкала: РИО/ДГТУ Год: 2006 Формат: pdf Страниц: 368 Размер: 33 Mb Язык:...
Навигация
Вход на сайт
Реклама
Логика и пролог в дискретной математике 
