Государственное образовательное учреждение высшего профессионального образования

«ОМСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ»

УТВЕРЖДАЮ

Проректор по УР

_______________________

«____»_________ 2011 год

Р а б о ч а я п р о г р а м м а

по дисциплине

«Дискретная математика»

для направления подготовки 220400.62 Управление в технических системах

профиль подготовки

Квалификация – бакалавр

Год набора 2011 г.

Форма обучения – заочная

Омск 2010

Разработана в соответствии с ФГОС ВПО, ООП по направлению подготовки бакалавриата 220400.62 «Управление в технических системах» профилю подготовки

Программу составил: к.т.н., доцент Аристов В.В.

Обсуждена на заседании кафедры «Автоматизация и робототехника» от «__»__________201__ г. № ____.

Заведующий кафедрой АРТ д.т.н., профессор

Хомченко В.Г.

«___» ________ 201__ г.

СОГЛАСОВАНО:

Зав. выпускающей кафедрой АРТ д.т.н., профессор

Хомченко В.Г.

«___» ________ 201__ г.

Начальник УМУ Васильев Е. В.

«_____»__________201__ г.

1. Цели и задачи дисциплины.

Цель изучения дисциплины заключается в формировании знаний в таких областях дискретной математики, как логика Буля, логика предикатов и графы, , что необходимо для моделирования и проектирования автоматизированных устройств управления техническими системами.

Основными задачами изучения дисциплины являются:

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

2. формирование практических навыков построения и анализа графов и алгоритмов управления дискретными системами автоматического управления.

Изучение дисциплины «Дискретная математика» базируется на следующих учебных курсах: «Высшая математика», «Информационные технологии», «Программирование и основы алгоритмизации».

Знания, полученные при изучении дисциплины, используются студентами в ходе изучения дисциплин: «Основы теории конечных автоматов», «Математические основы теории автоматического управления»,«Алгоритмизация процессов управления», «Моделирование систем управления» и др.

2. Требования к уровню подготовки студента, завершившего изучение данной дисциплины

В результате изучения дисциплины студент должен:

иметь представление:

• об операциях над множествами;

• о булевых функциях и переменных;

• о методах доказательств в логике высказываний и предикатов;

• о принципах построения и анализа графов и алгоритмов.

знать:

• основные понятия и определения теории множеств;

• булевы функции одной и двух переменных;

• основные теоремы булевой алгебры;

• методы преобразования и минимизации булевых функций;

• понятия и определения логики высказываний;

• понятия предикатов и кванторов;

• элементы и методы представления графов;

• основные определения теории графов;

• виды и области применения графов;.

уметь:

• использовать элементы теории множеств при построении логических функций;

• производить преобразование и минимизацию булевых функций;

• строить графы и определять их основные характеристики;

• использовать графы при анализе работы технических систем.

сформировать компетенции:

• общекультурные компетенции ОК–1, ОК–11, ОК–12;

• профессиональные компетенции:. ПК–1, ПК–2.