rpd000000088 (161101 (24.05.06).С16 Системы управления беспилотными ЛА)
Описание файла
Файл "rpd000000088" внутри архива находится в следующих папках: 161101 (24.05.06).С16 Системы управления беспилотными ЛА, 161101.С16. Документ из архива "161101 (24.05.06).С16 Системы управления беспилотными ЛА", который расположен в категории "". Всё это находится в предмете "вспомогательные материалы для первокурсников" из 1 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "вспомогательные материалы для первокурсников" в общих файлах.
Онлайн просмотр документа "rpd000000088"
Текст из документа "rpd000000088"
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000000088)
Дискретная математика
(указывается наименование дисциплины по учебному плану)
Направление подготовки | Системы управления летательными аппаратами | |||||
Квалификация (степень) выпускника | Специалист | |||||
Специализация подготовки | Системы управления беспилотными ЛА | |||||
Форма обучения | очная | |||||
(очная, очно-заочная и др.) | ||||||
Выпускающая кафедра | 705Б | |||||
Обеспечивающая кафедра | 705Б | |||||
Кафедра-разработчик рабочей программы | 705Б | |||||
Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
2 | 72 | 18 | 16 | 0 | 38 | 0 | Зч |
3 | 72 | 18 | 16 | 0 | 38 | 0 | Зо |
Итого | 144 | 36 | 32 | 0 | 76 | 0 |
Москва
2011 г.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 161101 Системы управления летательными аппаратами
Авторы программы :
Порешин П.П. | _________________________ |
Заведующий обеспечивающей кафедрой 705Б | _________________________ |
Программа одобрена:
Заведующий выпускающей кафедрой 705Б _________________________ | Декан выпускающего факультета 7 _________________________ |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Дискретная математика является достижение следующих результатов образования (РО):
N | Шифр | Результат освоения |
1 | 1. Знания. | |
2 | 1.1. На уровне представления: | |
3 | 1. Основные объекты дискретной математики. | |
4 | 2. Методы описания объектов дискретной математики и методы их исследований | |
5 | 3. Существенное отличие дискретных объектов от непрерывных. | |
6 | 4. Проблематика дискретной математики. | |
7 | 1.2. На уровне воспроизведения: | |
8 | 1. Теоретические результаты (теоремы и свойства), характерные для множеств, отношений, логических высказываний, высказывательных (логических) функций, предикатов, автоматов. | |
9 | 1.3. На уровне понимания. | |
10 | 1. Свойства множественных и логических операций. | |
11 | 2. Интерпретация логических и множественных операций в суждениях на естественном и формальном языках | |
12 | 3. Классификация и свойства автоматных моделей. | |
13 | 2. Умения | |
14 | 2.1. Теоретические | |
15 | 1. Основные задачи математической логики и методы их решения. | |
16 | 2. Методы проверки истинности высказывательных (логических) функций. | |
17 | 3. Методы приведения логических выражений к определенному виду. | |
18 | 4. Методы проверки систем на функциональную полноту. | |
19 | 5. Эквивалентирование автоматов. | |
20 | 2.2. Практические:. | |
21 | 1. Умение однозначно задавать объекты дискретной математики, приводить их к стандартным формам. | |
22 | 2. Выполнять эквивалентные преобразования логических функций и предикатных выражений. | |
23 | 3. Проверять на выполнимость и общезначимость логических (предикатных) функций (выражений). | |
24 | 4. Выполнять операции композиции над автоматами. | |
25 | 3. Навыки. | |
26 | 1. применения методов математической логики для решения задач анализа и синтеза логических схем; | |
27 | 2. Нахождения инвариантов условных конструкций в информатике, | |
28 | 3. построения логических схем для произвольных базисов. | |
29 | 4. выполнения эквивалентных преобразований сложных логических функций; | |
30 | 5. использования автоматных моделей при построения систем управления. |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
N | Шифр | Компетенция |
1 | ОК-9 | Способен к логическому мышлению, обобщению, анализу, критическому осмыслению, систематизации, прогнозированию, постановке исследовательских задач и выбору путей их достижения |
2 | ОК-10 | Способен самостоятельно применять методы и средства познания, обучения и самоконтроля для приобретения новых знаний и умений, в том числе в новых областях, непосредственно не связанных со сферой деятельности, развития социальных и профессиональных компетенций, изменения вида и характера своей профессиональной деятельности |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 4 зачетных(ые) единиц(ы), 144 часа(ов).
Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
Дискретная математика (2 семестр) | Множества и отношения. | 8 | 8 | 0 | 19 | 35 | 72 |
Алгебра логики. | 10 | 8 | 0 | 19 | 37 | ||
Дискретная математика (3 семестр) | Логика предикатов. | 8 | 8 | 0 | 19 | 35 | 72 |
Конечные автоматы. | 10 | 8 | 0 | 19 | 37 | ||
Всего | 36 | 32 | 0 | 76 | 144 | 144 |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
1. Дискретная математика-1
1.1. Раздел: "Множества и отношения"
- 1.1.1. Множество и его свойства
- 1.1.2. Способы задания множеств
- 1.1.3. Отношения между множествами
- 1.1.4. Операции на множествах
- 1.1.5. Алгебра множеств
- 1.1.6. Разбиение множества
- 1.1.7. Покрытие множества
- 1.1.8. Декартово произведение
- 1.1.9. Отношение
- 1.1.10. Способы задания бинарных отношений
- 1.1.11. Операции над отношениями
- 1.1.12. Свойства бинарных отношений
- 1.1.13. Диагностика свойств бинарного отношения
- 1.1.14. Классы бинарных отношений
- 1.1.15. Отношение эквивалентности и его свойства
- 1.1.16. Отношение порядка. Сравнимость.
- 1.1.17. Диаграмма Хассе - способ задания отношения порядка