3 Рабочая программа по заочной форме обучения

Тема 1. Элементы теории множеств и отношений.

Основные определения. Конечные и бесконечные множества. Способы задания множеств. Счетные и несчетные множества. Операции над множествами. Кортежи и операции над ними.

Основные понятия и правила комбинаторики. Соответствия. Свойства соответствий.

2

Л.р. № 3. Комбинаторные формулы.

2

Тема 2. Элементы булевской логики и логико-алгебраические модели.

Модели алгебры и исчисления высказываний.

Основные законы исчисления высказываний.

2

Л.р. № 5. Логические операции. Основные законы.

2

Тема 3. Элементы логики предикатов.

Понятие предиката. Кванторы. Язык логики предикатов.

Правильно построенные формулы. Тождественные преобразования формул.

2

Л.р. № 11. Приведение формул логики предикатов к сколемовской нормальной форме.

2

Тема 4. Графы, сети, автоматы.

Основные понятия и определения теории графов. Способы задания графов. Эйлеровы графы. Деревья. Сети.

Понятие автомата. Автоматы Мили и Мура, их описание с помощью графов состояний. Построение автомата по блок-схеме алгоритма.

4

Л.р. № 16. Синтез микропрограммного автомата по блок-схеме алгоритма.

2

Тема 5. Элементы теории нечетких множеств и нечеткой логики.

Понятие нечеткого множества. Функции принадлежности. Задание нечетких множеств. Операции над нечеткими множествами.

Нечеткие отношения, их свойства и операции над ними. Нечеткие графы.

2

Л.р. № 17. Нечеткие множества и отношения.

2

Итого за 5 семестр

12

10

Тема 6. Основные понятия и определения.

Процесс управления, управление по отклонению, замкнутая система управления, классификация систем автоматического управления.

Тема 7. Линейные системы управления.

Линеаризация уравнений и систем. Преобразование Лапласа и его основные свойства. Определение передаточной функции системы.

2

Л.р. № 1. Знакомство с пакетом MatLab.

2

Тема 8. Устойчивость линейных систем.

Понятие устойчивости. Принцип аргумента. Частотные критерии Найквиста и Михайлова.

1

Л.р. № 4. Изучение типовых звеньев систем управления.

2

Тема 9. Показатели качества систем управления.

Коэффициенты ошибок. Прямые показатели качества переходного процесса.

1

Л.р. № 8. Построение структурных схем в Simulink.

2

Тема 10. Анализ дискретных систем.

Уравнения в конечных разностях, z-передаточные функции.

Устойчивость дискретных систем: условие устойчивости дискретной системы; w-преобразование.

2

Л.р. № 10. Критерий устойчивости Гурвица.

2

Тема 11. Нелинейные системы управления.

Метод фазовой плоскости. Метод гармонической линеаризации.

Определение существования, параметров и устойчивости автоколебаний: основной способ определения периодических решений, метод Л.С.Гольдфарба.

2

Л.р. № 15. Цифровые системы управления.

2

Итого за 6 семестр

8

10