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