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