Выбор БД
Тип поиска
Методички
Сортировать по:
1. Книга
bookCover
Дехтярь, М. И.
Лекции по дискретной математике : учебное пособие / М. И. Дехтярь. - Электрон. дан. (1 файл). - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 181 c. - URL: http://www.iprbookshop.ru/62815.html.
Аннотация: Это начальный курс по дискретным структурам. Лекции курса содержат все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций - булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества («законы логики»), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обходы, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обход графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в курсе проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая лекция завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.
ББК: 22.12
Рубрики: Естественные науки, Математика, Математическая логика (основания математика)
Ключевые слова: дискретная математика, учебное пособие, булева функция, логика предикатов, граф, конечный автомат, алгоритм, экономика, алгоритмическая процедура
Ссылка на ресурс: http://www.iprbookshop.ru/62815.html