Лекции по дискретной математике

Это начальный курс по дискретным структурам. Лекции курса содержат все необходимые для изучения основного материала предварительные сведения о множествах, комбинаторике и методе математической индукции. Рассмотрен самый простой и важный класс дискретных функций - булевы функции: их различные представления, связь с логикой высказываний, основные логические тождества ("законы логики"), дизъюнктивные и конъюнктивные нормальные формы и многочлены Жегалкина, полные системы функций (теорема Поста), задача выводимости для Хорновских формул. Даны краткое введение в логику предикатов и устанавливаются связи между ней и реляционными базами данных, введение в теорию графов, включающее представления графов, граф достижимости, компоненты сильной связности и базы ориентированного графа, деревья, их обжды, связь деревьев и формул (выражений), три классические задачи теории графов: построение минимального остова, обжд графа в глубину (задачу о лабиринте) и задачу о кратчайших путях. Решение большинства рассматриваемых в курсе проблем доведено до уровня алгоритмических процедур и проиллюстрировано на примерах. Каждая лекция завершается разделом с задачами и упражнениями, позволяющими закрепить пройденный материал.

Дехтярь М.И. Лекции по дискретной математике / М.И. Дехтярь. - Москва : Национальный Открытый Университет ИНТУИТ, 2016. - 183 с. - ISBN 978-5-94774-714-0. - URL: http://m.ibooks.ru/bookshelf/362905/reading (дата обращения: 28.07.2025). - Текст: электронный.