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