rpd000000088 (161101 (24.05.06).С16 Системы управления беспилотными ЛА), страница 2

№ п/п

Раздел дисциплины

Объем, часов

Тема лекции

Дидакт. единицы

1

1.1.Множества и отношения.

2

Множества и их свойства

1.1.1, 1.1.2, 1.1.3

2

1.1.Множества и отношения.

2

Алгебра множеств

1.1.4, 1.1.5, 1.1.6, 1.1.7

3

1.1.Множества и отношения.

2

Отношения и функции

1.1.8, 1.1.9, 1.1.10, 1.1.11, 1.1.19, 1.1.12

4

1.1.Множества и отношения.

2

Классы бинарных отношений

1.1.13, 1.1.14, 1.1.14, 1.1.15, 1.1.16, 1.1.17, 1.1.18

5

1.2.Алгебра логики.

2

Логические высказывания и высказывательные функции

1.2.1, 1.2.3, 1.2.2, 1.2.5

6

1.2.Алгебра логики.

2

Алгебра логики и логические функции

1.2.3, 1.2.7, 1.2.4, 1.2.8, 1.2.9, 1.2.15, 1.2.13

7

1.2.Алгебра логики.

2

Минимизация логических функций

1.2.14, 1.2.17, 1.2.18, 1.2.19, 1.2.21, 1.2.23, 1.2.16, 1.2.24, 1.2.20, 1.2.22

8

1.2.Алгебра логики.

2

Функционально полные логические системы

1.2.25, 1.2.26, 1.2.27, 1.2.28

9

1.2.Алгебра логики.

2

Анализ и синтез логических схем

1.2.29, 1.2.31, 1.2.32, 1.2.30

10

2.1.Логика предикатов.

2

Предикаты и их свойства. Кванторные операции

2.1.1, 2.1.2

11

2.1.Логика предикатов.

2

Формулы логики предикатов

2.1.3, 2.1.4

12

2.1.Логика предикатов.

2

Выполнимость и общезначимость

2.1.5, 2.1.6

13

2.1.Логика предикатов.

2

Нормальные формы предикатов

2.1.7, 2.1.8

14

2.2.Конечные автоматы.

2

Понятие автомата и его свойства

2.2.1

15

2.2.Конечные автоматы.

2

Классификация автоматов. Эквивалентирование

2.2.2, 2.2.9

16

2.2.Конечные автоматы.

2

Операции над автоматами

2.2.3

17

2.2.Конечные автоматы.

2

Минимизация автоматов

2.2.4

18

2.2.Конечные автоматы.

2

Структурный автомат: анализ и синтез

2.2.5, 2.2.7, 2.2.8

Итого:

36

№ п/п

Раздел дисциплины

Объем, часов

Тема практического занятия

Дидакт. единицы

1

1.1.Множества и отношения.

2

Множества. Операции с множествами

1.1.1, 1.1.2, 1.1.4

2

1.1.Множества и отношения.

2

Эквивалентные преобразования в алгебре множеств

1.1.5, 1.1.7, 1.1.6

3

1.1.Множества и отношения.

2

Способы задания бинарных отношений. Диагностика свойств бинарного отношения

1.1.10, 1.1.8, 1.1.12, 1.1.11

4

1.1.Множества и отношения.

2

Экстремальные характеристики отношения порядка

1.1.18

5

1.2.Алгебра логики.

2

Формализация и вычисление истинности высказывательных функций

1.2.1, 1.2.6, 1.2.12

6

1.2.Алгебра логики.

2

Эквивалентные преобразования в алгебре логики

1.2.8, 1.2.11, 1.2.10, 1.2.3

7

1.2.Алгебра логики.

2

Функционально полные логические системы

1.2.27, 1.2.28

8

1.2.Алгебра логики.

2

Анализ и синтез логических схем

1.2.29, 1.2.31, 1.2.30, 1.2.32

9

2.1.Логика предикатов.

2

Вычисление области истинности предикатов

1.1.4, 1.2.3, 2.1.1

10

2.1.Логика предикатов.

2

Интерпретация и эквивалентное преобразование формулы логики предикатов

2.1.4, 1.2.3, 2.1.2

11

2.1.Логика предикатов.

2

Проверка общезначимости и выполнимости в логиге предикатов

2.1.5, 2.1.6, 2.1.4

12

2.1.Логика предикатов.

2

Нормальные формы предикатов

2.1.7, 2.1.4

13

2.2.Конечные автоматы.

2

Способы задания автоматов

2.2.1, 2.2.2

14

2.2.Конечные автоматы.

2

Операции над автоматами

2.2.3

15

2.2.Конечные автоматы.

2

Анализ структурного автомата

2.2.4, 2.2.5, 2.2.7

16

2.2.Конечные автоматы.

2

Задача синтеза структурного автомата

2.2.8, 2.2.6

Итого:

32

№ п/п

Раздел дисциплины

Наименование лабораторной работы

Наименование лаборатории

Объем, часов

Дидакт. единицы

Итого:

№ п/п

Раздел дисциплины

Объем, часов

Наименование типового задания

1

Множества и отношения.

7

БДЗ-1

2

Алгебра логики.

6

БДЗ-2.

3

Логика предикатов.

7

БДЗ

4

Конечные автоматы.

6

БДЗ

Итого:

26