rpd000005495 (230100 (09.03.01).Б11 Вычислительные машины, комплексы и сети)
Описание файла
Файл "rpd000005495" внутри архива находится в следующих папках: 230100 (09.03.01).Б11 Вычислительные машины, комплексы и сети, 230100.Б11. Документ из архива "230100 (09.03.01).Б11 Вычислительные машины, комплексы и сети", который расположен в категории "". Всё это находится в предмете "вспомогательные материалы для первокурсников" из 1 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "вспомогательные материалы для первокурсников" в общих файлах.
Онлайн просмотр документа "rpd000005495"
Текст из документа "rpd000005495"
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000005495)
Дискретная математика
(указывается наименование дисциплины по учебному плану)
Направление подготовки | Информатика и вычислительная техника | |||||
Квалификация (степень) выпускника | Бакалавр | |||||
Профиль подготовки | Вычислительные машины, комплексы и сети | |||||
Форма обучения | очная | |||||
(очная, очно-заочная и др.) | ||||||
Выпускающая кафедра | Б21 | |||||
Обеспечивающая кафедра | Б21 | |||||
Кафедра-разработчик рабочей программы | Б21 | |||||
Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
1 | 144 | 34 | 16 | 0 | 67 | 27 | Э |
Итого | 144 | 34 | 16 | 0 | 67 | 27 |
Москва
2011 г.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 230100 Информатика и вычислительная техника
Авторы программы :
Слепова А.Ш. | _________________________ |
Заведующий обеспечивающей кафедрой Б21 | _________________________ |
Программа одобрена:
Заведующий выпускающей кафедрой Б21 _________________________ | Декан выпускающего факультета "Восход" _________________________ |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Дискретная математика является достижение следующих результатов образования (РО):
N | Шифр | Результат освоения |
1 | В-2 | Методами анализа и синтеза операционных устройств вычислительной техники |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
N | Шифр | Компетенция |
1 | ПКП-9 | Способность использовать математический аппарат решения систем уравнений, численные методы, методы аналитической геометрии, теории вероятностей и математической статистики, математической логики; |
2 | Способность обосновывать принимаемые проектные решения, осуществлять постановку и выполнять эксперименты по проверке их корректности и эффективности | |
3 | Способность осуществлять сбор и анализ научно-технической информации, обобщать отечественный и зарубежный опыт в области прикладной математики |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 4 зачетных(ые) единиц(ы), 144 часа(ов).
Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
Дискретная математика | Логика высказываний | 4 | 2 | 0 | 8 | 14 | 144 |
Теория множеств | 6 | 4 | 0 | 13 | 23 | ||
Алгебраичесике структуры | 4 | 0 | 0 | 6 | 10 | ||
Теория графов | 8 | 4 | 0 | 14 | 26 | ||
Булева алгебра | 8 | 6 | 0 | 18 | 32 | ||
Элементы комбинаторики | 4 | 0 | 0 | 8 | 12 | ||
Всего | 34 | 16 | 0 | 67 | 117 | 144 |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
1. Логика высказываний
- 1.1. Логика высказываний: основные понятия и методы доказательств
- 1.2. Формулы и умозаключения
2. Теория множеств
- 2.1. Множества
- 2.2. Операции над множествами
- 2.3. Отношения на множествах
3. Алгебраические структуры
- 3.1. Понятие алгебраических структур
- 3.2. Примеры алгебраических структур
4. Теория графов
- 4.1. Определения, типы графов, способы задания графа
- 4.2. Матричное представление графов
- 4.3. Примеры алгоритмов теории графов
5. Булева алгебра
- 5.1. Понятия алгебры логики
- 5.2. Формы записи функций алгебры логики
- 5.3. Минимизация булевых функций и синтез их логических схем в заданном базисе
- 5.4. Минимизация неполностью определенных функций алгебры логики и функций, представленных в различных базисах
6. Элементы комбинаторики
- 6.1. Правила и формулы комбинаторики
- 6.2. Бином Ньютона
-
Лекции
№ п/п | Раздел дисциплины | Объем, часов | Тема лекции | Дидакт. единицы |
1 | 1.1.Логика высказываний | 2 | Логика высказываний: основные понятия и методы доказательств | 1.1 |
2 | 1.1.Логика высказываний | 2 | Формулы и умозаключения | 1.2 |
3 | 1.2.Теория множеств | 2 | Основные понятия множеств | 1 |
4 | 1.2.Теория множеств | 2 | Операции над множествами | 2.2 |
5 | 1.2.Теория множеств | 2 | Отношения на множествах | 2.3 |
6 | 1.3.Алгебраичесике структуры | 2 | Понятие алгебраических структур | 3.1 |
7 | 1.3.Алгебраичесике структуры | 2 | Примеры алгебраических структур | 3.2 |
8 | 1.4.Теория графов | 2 | Определения, типы графов, способы задания графа | 4.1 |
9 | 1.4.Теория графов | 2 | Матричное представление графов | 4.2 |
10 | 1.4.Теория графов | 4 | Примеры алгоритмов теории графов | 4.3 |
11 | 1.5.Булева алгебра | 2 | Основные понятия алгебры логики | 5.1 |
12 | 1.5.Булева алгебра | 2 | Аналитические формы записи функций алгебры логики | 5.2 |
13 | 1.5.Булева алгебра | 2 | Минимизация булевых функций и синтез логических схем в заданном базисе | 5.3 |
14 | 1.5.Булева алгебра | 2 | Минимизация неполностью определенных функций алгебры логики и функций, представленных в различных базисах | 5.4 |
15 | 1.6.Элементы комбинаторики | 2 | Правила и формулы комбинаторики | 6.1 |
16 | 1.6.Элементы комбинаторики | 2 | Бином Ньютона | 6.2 |
Итого: | 34 |
-
Практические занятия
№ п/п | Раздел дисциплины | Объем, часов | Тема практического занятия | Дидакт. единицы |
1 | 1.1.Логика высказываний | 2 | Доказательство высказываний и построениеумозаключений заданной струкутры | 1.1, 1.2 |
2 | 1.2.Теория множеств | 2 | Операции над множествами | 2.2, 2.1 |
3 | 1.2.Теория множеств | 2 | Декартово произведение множеств и бинарные отношения множеств | 2.3 |
4 | 1.4.Теория графов | 2 | Матричное представление графов | 4.1 |
5 | 1.4.Теория графов | 2 | Реализация алгоритмов графов | 4.3 |
6 | 1.5.Булева алгебра | 2 | Преобразование функций алгебры логики | 5.2 |
7 | 1.5.Булева алгебра | 2 | Минимизация функций алгебры логики | 5.3 |
8 | 1.5.Булева алгебра | 2 | Приведение функций алгебры логики к заданному базису и реализация логических схем функций | 5.3 |
Итого: | 16 |
-
Лабораторные работы
№ п/п | Раздел дисциплины | Наименование лабораторной работы | Наименование лаборатории | Объем, часов | Дидакт. единицы |
Итого: |
-
Типовые задания
№ п/п | Раздел дисциплины | Объем, часов | Наименование типового задания |
1 | Элементы комбинаторики | 2 | Решение комбинаторных задач |
Итого: | 2 |
-
Курсовые работы и проекты по дисциплине
-
Рубежный контроль
1.1. Контрольная работа по разделу "Теория множеств"