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

1. Карпов Ю.Г. Теория автоматов. – СПб.: Питер, 2003. – 208 с.

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

3. Трахтенброт Б.А., Барздинь Я.М. Конечные автоматы (поведение и синтез). – М.: Наука, 1970. – 400 с.

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

5. Горбатов В.А. Семантическая теория проектирования автоматов. – М.: Энергия, 1979. – 264 с.

6. Гаврилов М.А., Девятков В.В., Пупырев Е.И. Логическое проектирование дискретных автоматов. – М.: Наука, 1977. – 352 с.

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

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

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

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

11. Лобанов В.И. Азбука разработчика цифровых устройств. – М.: Горячая линия – Телеком, 2001. – 192 с.

12. Савельев А.Я. Арифметические и логические основы цифровых автоматов: Учебник. – М.: Высш. школа, 1980. – 255 с.

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

14. Питерсон Дж. Теория сетей Петри и моделирование систем. Пер. с англ. М.: Мир, 1984. – 264 с.

Оглавление

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

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

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

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

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

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

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

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

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

_{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. Деревья…………………………………………………………… 35}

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

_{5. Конечные автоматы………………………………………………….. 41}

_{5.1. Понятие конечного автомата…………………………………… 41}

_{5.2. Представление конечных автоматов………………………….… 43}

_{5.3. Типы конечных автоматов…………………………………….… 47}

_{5.4. Эквивалентность конечных автоматов: теорема Мура……….. 50}

_{5.5. Минимизация конечных автоматов…………………………..… 53}

_{5.6. Минимизация неполных конечных автоматов…………………. 57}

_{5.7. Примеры конечных автоматов…………………………………. 60}

_{5.8. Моделирование автоматных систем сетями Петри…………… 64}

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

_{6. Алгоритмы и машина Тьюринга…………………………………… 72}

_{6.1. Понятие алгоритма………………………………………………. 72}

_{6.2. Основные требования к алгоритмам…………………………… 73}

_{6.3. Блок-схемы алгоритмов…………………………………………. 76}

_{6.4. Формализация понятия алгоритма………………………….….. 77}

_{6.5. Машина Тьюринга………………………………………………. 78}

_{6.6. Примеры машин Тьюринга……………………………………... 81}

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

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

88