Название: Основы дискретной математики Автор: Гаджиев А.А. Издательство: Махачкала: РИО/ДГТУ Год: 2006 Формат: pdf Страниц: 368 Размер: 33 Mb Язык: русский
Учебное пособие состоит из двух частей. В части 1 излагаются основы теории четких и нечетких множеств, общей теории графов и графов - сетей. Часть 2 книги состоит из двух разделов. В разделе 1 «Логические методы анализа и синтеза схем» рассмотрены основы алгебры логики, сформированы задачи анализа. Кратко изложены основы пороговой и нейронной логик, нечеткой логики, элементы теории временных булевых функций и многозначной логики. В разделе 2 «Математическая логика. Анализ рассуждений и алгоритмы вывода» рассмотрены формальная теория логики высказываний, логики предикатов первого порядка, даны теоретические основы доказательств теорем, а также стратегии поиска эффективного доказательства теорем и некоторые алгоритмы для построения программ, машинного доказательства. Учебное пособие рекомендуется студентам при изучении дисциплин «Дискретная математика», «Математическая логика и теория алгоритмов» и «Системы искусственного интеллекта» специальностей направления 230100 - «Информатика и вычислительная техника».
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Основы дискретной математики (2017) Название: Основы дискретной математики Автор(ы): Осипова В.А. Издательство: М.: Форум : Инфра-М Год: 2017 Страниц: 158 Формат: PDF Размер: 10 Мб ...
Дискретная математика для инженера Название: Дискретная математика для инженера Автор: Кузнецов О.П., Адельсон-Вельский Г.М. Издательство: М.: Энергия Год: 1980 Cтраниц: 344 Формат:...
Введение в математическую логику (2018) Название: Введение в математическую логику Автор: Зюзьков В.М. Издательство: Лань Год: 2018 Страниц: 266 Формат: PDF Размер: 57 Мб Язык:...
Задачи и упражнения по дискретной математике Название: Задачи и упражнения по дискретной математике (Учебное пособие), (3-е издание) Автор: Гаврилов Г. П, Сапоженко А. А. Издательство: М.:...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Судоплатов С.В., Овчинникова Б.В. Издательство: М.: Инфра-М; Новосибирск: НГТУ Год: 2004...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Игошин В.И. Издательство: Академия Год: 2008 - 2-е изд. Cтраниц: 448 Формат: pdf Размер:...
Логика традиционная и современная Название: Логика традиционная и современная Автор: Конверский А.Е. Издательство: М.: Идея-Пресс Год: 2010 Страниц: 372 ISBN: 978-5-903927-07-4...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Основы дискретной математики 
