6. Технические средства обучения и контроля, использование эвм.

1. В процессе чтения лекций используется компьютерный видеопроэктор, позволяющий демонстрировать слайды, таблицы и схемы

2. Для контроля правильности выполнения расчетно – графического задания по синтезу дискретной системы управления используется разработанная на кафедре программа эмуляции работы дискретных устройств по логическим функциям.

6. Материальное обеспечение курса

Лабораторный практикум обеспечивается вычислительной лабораторией, оснащенной ПЭВМ класса IBM. Используются следующие программы: «Каскадный метод проектирования пневмосистем», «Методы минимизации логических функций», «Система автоматизированного синтеза дискретных устройств управления» (все программы разработаны на кафедре), а также сервисная система программирования «LOGO-Soft-comfort».

8. Литература

8.1. Литература по лекциям

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

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

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

4. Андреев Н.П. Синтез цикловых систем логико – программного управления технологическим оборудованием с применением ЭВМ: учеб. пособие. –Омск: Изд-во ОмГТУ, 1995. – 92 с.

8.2. Литература по практическим занятиям

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

2. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. – М.: Наука, 1977. – 368 с.

3. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Наука, 1975. –240 с.

4. Андреев Н.П. Синтез цикловых систем логико – программного управления технологическим оборудованием с применением ЭВМ: учеб. пособие. –Омск: Изд-во ОмГТУ, 1995. – 92 с.

5. Андреев Н.П., Компанейц А.Н. САПР дискретных устройств автоматики: Учеб. пособие.- Омск: ОмПИ, 1990.- 74 с.

8.3. Литература для выполнения домашних заданий

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

2. Андреев Н.П. Синтез цикловых систем логико – программного управления технологическим оборудованием с применением ЭВМ: учеб. пособие. –Омск: Изд-во ОмГТУ, 1995. – 92 с.

3. Андреев Н.П., Компанейц А.Н. САПР дискретных устройств автоматики: Учеб. пособие.- Омск: ОмПИ, 1990.- 74 с.

8.4. Литература дополнительная

1. Белоусов А.И., Ткачев С.Б. Дискретная математика: Учеб. для вузов – М.: Изд-во МГТУ им. Н.Э.Баумана, 2004. – 744 с.

2. Белоусов А.И., Ткачев С.Б. Дискретная математика: Учеб. для вузов – М.: Изд-во МГТУ им. Н.Э.Баумана, 2004. – 744 с.

3. Плоткин Б.И. и др. Элементы алгебраической теории автоматов: Учеб. пособие для вузов. – М.: Высшая школа, 1994. – 191 с.

4. Баранов С.И. Синтез микропрограммных автоматов. =- М.: Энергия, 1979.

5. Поспелов Д.А. Логические методы анализа и синтеза схем. – М.: Энергия, 1974. – 368 с.