Основы дискретной математики

Автор(ы)

Гаджиев А.А

Год

2006

Язык

rus

ISBN

5-297-01088-8

Теги

Компьютеры и информационные технологии Математика Программирование

Аннотация

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