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

Скачать

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

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

Информация о документе

Формат документа: PDF, DJVU
Кол-во страниц: 453 страницы
Загрузил(а): Ларионова Полина
Лицензия: —
Доступ: Всем

Информация о книге

ISBN: 5-7046-0162-6
Год публикации: 1996
Автор(ы): Набебин А. А.
Библиографическая запись: Логика и Пролог в дискретной математике.- М.: Издательство МЭИ, 1996. - 452 с.; ил.
Ключевые фразы: ЛОГИКА, математика, пролог, ДИСКРЕТНАЯ МАТЕМАТИКА
ББК: 22.17. Теория вероятностей. Математическая статистика
УДК: 519.1. Комбинаторный анализ. Теория графов

Статистика просмотров

Статистика просмотров книги за 2026 год.

Ранее вы смотрели (1)

01. Книга: Ремонтно-изоляционные работы при эксплуатации нефтяных месторождений

Будьте первым, кто начнет обсуждение

Если у вас возникли вопросы или появились предложения по содержанию книги, пожалуйста, направляйте их в рамках данной темы.

Создать тему для обсуждения

Все права на тексты и товарные знаки принадлежат их законным владельцам. Подробнее...

Сайт https://scinetwork.ru (далее – Сайт) представляет собой платформу, на которой пользователи самостоятельно добавляют и публикуют метаинформацию о материалах разных видов (названия, обложки, аннотации, данные об авторах и т.п.). Администрация Сайта не занимается самостоятельным сбором или первоначальной публикацией этих сведений.

Модерация контента

На Сайте действует постмодерация. Это означает, что материалы, добавляемые пользователями, становятся общедоступными сразу после публикации и проверяются Администрацией Сайта постфактум в разумные сроки.

Использование информации

Администрация Сайта не использует метаданные и обложки документов в коммерческих или рекламных целях для продвижения товаров или услуг и не заявляет о каких-либо правах на представленные объекты интеллектуальной собственности. Все права на документы и сопутствующие материалы принадлежат их законным правообладателям.

Отказ от гарантий

Администрация Сайта не гарантирует точность, полноту и достоверность метаинформации, размещенной пользователями, поскольку не осуществляет ее предварительную проверку.

Ответственность

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