rpd000007916 (230400 (09.03.02).Б1 Информационные системы аэрокосмических комплексов)
Описание файла
Файл "rpd000007916" внутри архива находится в следующих папках: 230400 (09.03.02).Б1 Информационные системы аэрокосмических комплексов, 230400.Б1. Документ из архива "230400 (09.03.02).Б1 Информационные системы аэрокосмических комплексов", который расположен в категории "". Всё это находится в предмете "вспомогательные материалы для первокурсников" из 1 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "вспомогательные материалы для первокурсников" в общих файлах.
Онлайн просмотр документа "rpd000007916"
Текст из документа "rpd000007916"
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000007916)
Дискретная математика
(указывается наименование дисциплины по учебному плану)
Направление подготовки | Информационные системы и технологии | |||||
Квалификация (степень) выпускника | Бакалавр | |||||
Профиль подготовки | Информационные системы аэрокосмических комплексов | |||||
Форма обучения | очная | |||||
(очная, очно-заочная и др.) | ||||||
Выпускающая кафедра | 308 | |||||
Обеспечивающая кафедра | 308 | |||||
Кафедра-разработчик рабочей программы | 308 | |||||
Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
2 | 144 | 34 | 16 | 0 | 67 | 27 | Э |
Итого | 144 | 34 | 16 | 0 | 67 | 27 |
Москва
2011 г.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 230400 Информационные системы и технологии
Авторы программы :
Исаева О.О. | _________________________ |
Гридин А.Н. | _________________________ |
Заведующий обеспечивающей кафедрой 308 | _________________________ |
Программа одобрена:
Заведующий выпускающей кафедрой 308 _________________________ | Декан выпускающего факультета 3 _________________________ |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Дискретная математика является достижение следующих результатов образования (РО):
N | Шифр | Результат освоения |
1 | Знать основные понятия и методы дискретной математики и математической логики | |
2 | Знать основные сведения о дискретных структурах и их свойствах | |
3 | Знать основные алгоритмы решения типовых задач теории множеств, теории чисел, теории графов, комбинаторики | |
4 | Уметь применять методы дискретной математики при решении задач системного анализа и оптимизации структур информационных систем | |
5 | Владеть навыками построения математических моделей информационных систем и технологий |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
N | Шифр | Компетенция |
1 | ОК-10 | Готовность использовать основные законы естественнонаучных дисциплин в профессиональной деятельности, применять методы математического анализа и моделирования, теоретического и экспериментального исследования |
2 | ПК-12 | Способность разрабатывать средства реализации информационных технологий (методические, информационные, математические, алгоритмические, технические и программные) |
3 | Владение широкой общей подготовкой (базовыми зна-ниями) для решения практических задач в области ин-формационных систем и технологий. | |
4 | Способность проводить моделирование процессов и систем. | |
5 | Готовность использовать современные математические методы обработки, анализа и синтеза результатов профес-сиональных исследований. |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 4 зачетных(ые) единиц(ы), 144 часа(ов).
Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
Дискретная математика | Теория множеств | 10 | 6 | 0 | 12 | 28 | 144 |
Теория чисел | 6 | 6 | 0 | 20 | 32 | ||
Булева алгебра | 6 | 0 | 0 | 6 | 12 | ||
Комбинаторика | 2 | 2 | 0 | 4 | 8 | ||
Теория конечных автоматов | 2 | 0 | 0 | 1 | 3 | ||
Теория графов | 8 | 2 | 0 | 12 | 22 | ||
Всего | 34 | 16 | 0 | 55 | 105 | 144 |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
1. Теория множеств
- 1.1. Множества и их элементы
- 1.2. Символика теории множеств
- 1.3. Равенство множеств
- 1.4. Подмножества
- 1.5. Синглитоны
- 1.6. Пустое множество
- 1.7. Универсуум
- 1.8. Булеан
- 1.9. Методы задания множеств
- 1.10. Операции над множествами
- 1.11. Диаграммы Эйлера-Венна
- 1.12. Объединение и пересечение множеств
- 1.13. Относительное и абсолютное дополнение
- 1.14. Относительная и симметрическая разность множеств
- 1.15. Законы поглощения и склеивания
- 1.16. Законы де Моргана
- 1.17. Конечные и бесконечные множества
- 1.18. Мощность множества
- 1.19. Формулы включений и исключений
- 1.20. Декартово произведение множеств
- 1.21. Кортёжи
- 1.22. Степень множества
- 1.23. Бинарные и n-арные отношения
- 1.24. Симметрия отношений
- 1.25. Транзитивность и рефлексивность отношений
- 1.26. Отношения эквивалентности
- 1.27. Фактор-множество
- 1.28. Отношения строго порядка
- 1.29. Отношения нестрого порядка
- 1.30. Функциональные отношения
- 1.31. Реляционная алгебра
- 1.32. Бесконечные множества
- 1.33. Счетные и несчетные множества
- 1.34. Континуум
- 1.35. Сравнение бесконечных множеств
- 1.36. Диагональный метод Кантора
- 1.37. Иррациональные числа
- 1.38. Алгебраические и трансцендентные числа
- 1.39. Трансфинитные числа
- 1.40. Парадоксы теории множеств
- 1.41. Аксиоматика теории множеств
- 1.42. Список Давида Гильберта
- 1.43. Теоремы Гёделя о неполноте
- 1.44. Группа Бурбаки
- 1.45. Усложнение математических доказательств. Применение для доказательств теорем и лемм компьютеров
- 1.46. Деятельность Лофти Заде
- 1.47. Лингвистическая переменная
- 1.48. Степень принадлежности множеству
- 1.49. Нечёткие множества
- 1.50. Операции с нечёткими множествами и их свойства
- 1.51. Нечёткая логика
- 1.52. Мягкие вычисления
2. Теория чисел
- 2.1. Числа и цифры
- 2.2. Системы счисления и нумерации
- 2.3. Числовые множества
- 2.4. Множества натуральных и целых чисел
- 2.5. Простые и составные числа
- 2.6. Тесты простоты
- 2.7. Решето Эратосфена и другие методы поиска простых чисел
- 2.8. Числа Ферма
- 2.9. Числа Мерсенна
- 2.10. Электронная энциклопедия числовых последовательностей Нейла Слоана
- 2.11. Распределение вычислений
- 2.12. Факторизация чисел
- 2.13. Признаки делимости
- 2.14. НОД и НОК наборов чисел
- 2.15. Цепные дроби
- 2.16. Факториалы
- 2.17. Праймориалы
- 2.18. Оценка вычислительной сложности алгоритмов
- 2.19. Вычислительные рекурсии
- 2.20. Числа Фибоначчи
- 2.21. Кодирование и декодирование
- 2.22. Теоремы о целочисленных и рациональных корнях алгебраических уравнений
- 2.23. Схема Горнера