Гаджиев А.А. Основы дискретной математики

Учебное пособие для студентов вузов — Махачкала: РИО/ДГТУ, 2005. — 368 с.: ил. — ISBN 5-297-01088-8. Учебное пособие состоит из двух частей. В части 1 излагаются основы теории четких и нечетких множеств, общей теории графов и графов-сетей. Часть 2 книги состоит из двух разделов. В разделе 1 "Логические методы анализа и синтеза схем" рассмотрены основы алгебры логики, сформированы задачи анализа. Кратко изложены основы пороговой и нейронной логики, нечеткой логики, элементы теории временных булевых функций и многозначной логики. В разделе 2 "Математическая логика. Анализ рассуждений и алгоритмы вывода" формальная теория логики высказываний, логики предикатов первого порядка, даны теоретические основы доказательства теорем, а также стратегии поиска эффективного доказательства теорем и некоторые алгоритмы для построения программ машинного доказательства. Учебное пособие рекомендуется студентам при изучении дисциплин "Дискретная математика", "Математическая логика и теория алгоритмов" и "Системы искусственного интеллекта" специальностей направления 230100 — "Информатика и вычислительная техника".