Библиографический список

1. Акимов О.Е. Дискретная математика: логика, группы, графы. – М.: Лаборатория Базовых Знаний, 2001. – 376 с.

2. Горбатов В.А. Основы дискретной математики: Учеб. пособие для студентов вузов. – М.: Высш. шк., 1986. – 311 с.

3. Кузнецов О.П. Дискретная математика для инженера. – СПб.: Издательство «Лань», 2005. – 400 с.

4. Сигорский В.П. Математический аппарат инженера. – Киев: Технiка, 1977. – 768 с.

5. Потапов В.И., Шафеева О.П. Компьютерная арифметика и алгоритмическое моделирование арифметических операций. – Омск: Изд-во ОмГТУ, 2005. – 96 с.

6. Аристов В.В., Гудинов В.Н. Сборник заданий и упражнений по дискретной математике: Практикум. – Омск: Изд-во ОмГТУ, 2006. – 52 с.

7. Чернов Е.А. Проектирование станочной электроавтоматики. – М.: Машиностроение, 1989. – 304 с.

Оглавление

Введение…………………………………………………………………...2

_{1 Множества…………………………………………………………………3}

_{1.1 Основные понятия теории множеств……………………………….3}

_{1.2 Операции над множествами…………………………………………4}

_{2 Логика Буля………………….…………………………………………….9}

_{2.1 Логические переменные и функции алгебры Буля….…….……..9}

_{2.2 Постулаты и основные законы булевой алгебры….…………..….9}

_{2.3 Формы представления булевых функций……………………….11}

_{2.4 Минимизация булевых функций…………………………………14}

_{Контрольные задания……………………………….……………..16}

_{3. Формальная логика……………………..……………………………...16}

_{3.1. Исчисление высказываний …………………………………….…16}

_{3.2. Предикаты и кванторы……………………….…………………...18}

_{Контрольные задания……………………………………………..18}

_{4. Графы……………………………………………………………………22}

_{4.1. Происхождение графов…………………………………………...22}

_{4.2. Основные определения…………………………………………...24}

_{4.3. Методы представления графов в аналитической форме….….…27}

_{4.4. Пути и контуры в графах………………………………….……...30}

_{4.5. Деревья……………………………………………..………………32}

_{Контрольные задания……………………………………………..34}

_{Библиографический список ….………………………………...............35}

36