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