В главе I - Основания дискретной математики - вводятся основные
понятия: множество, отображения и отношения, определяются их
основные свойства, что объясняет и обосновывает основные операции
алгебры множеств и булевых алгебр; все разделы главы подкреплены
примерами и контрольными вопросами.
В главе 2 - Элементы комбинаторики - формулируются основные понятия
об упорядоченных и неупорядоченных выборках элементов из заданного
множества, определяются основные правила, процедуры и операции для
формирования комбинаторных объектов и оценки их количества; все
разделы главы также подкреплены примерами, контрольными
вопросами.
В главе 3 - Основы теории графов - раскрываются основные понятия и
способы описания графа, его числовые характеристики и описываются
алгебраические операции над графами и алгоритмы поиска остова графа
минимального веса, кратчайших путей на графе, распределения потоков
в сети и определения критического пути в графе, отображающем
организацию сложного комплекса работ; все разделы главы также
сопровождаются примерами и контрольными вопросами, по основным
алгоритмам студенту предлагается выполнить индивидуальные задания
(см. приложения 1-5).
В главе 4 - Введение в математическую логику - вводятся основные
понятия и способы описания логических переменных, логических
функций, логических связок и логических формул, объясняется
разложение логических функций в дизьюнктивные и коньюнктивные
нормальные формы, определяются способы их эквивалентного
преобразования в различные базисы алгебры логики, подробно
объясняются методы минимизации одной и нескольких булевых функций,
частично и полностью определенных булевых функций в дизьюнктивной и
коньюнктивной нормальных формах; все разделы главы также
подкреплены примерами, контрольными вопросами; по основным методам
минимизации логических функций и способам проектирования
предлагается выполнить индивидуальное задание(см. приложение
6).