rpd000002313 (010400 (01.03.02).Б1 Информатика)
Описание файла
Файл "rpd000002313" внутри архива находится в следующих папках: 010400 (01.03.02).Б1 Информатика, 010400.Б1. Документ из архива "010400 (01.03.02).Б1 Информатика", который расположен в категории "". Всё это находится в предмете "вспомогательные материалы для первокурсников" из 1 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "вспомогательные материалы для первокурсников" в общих файлах.
Онлайн просмотр документа "rpd000002313"
Текст из документа "rpd000002313"
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000002313)
Дискретная математика
(указывается наименование дисциплины по учебному плану)
Направление подготовки | Прикладная математика и информатика | |||||
Квалификация (степень) выпускника | Бакалавр | |||||
Профиль подготовки | 010400.Б1, 010400.Б3 | |||||
Форма обучения | очная | |||||
(очная, очно-заочная и др.) | ||||||
Выпускающая кафедра | 806, 807 | |||||
Обеспечивающая кафедра | 805 | |||||
Кафедра-разработчик рабочей программы | 805 | |||||
Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
1 | 144 | 34 | 26 | 8 | 49 | 27 | Э |
2 | 144 | 34 | 26 | 8 | 49 | 27 | Э |
Итого | 288 | 68 | 52 | 16 | 98 | 54 |
Москва
2011 г.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 010400 Прикладная математика и информатика
по профилям:
010400.Б1 Информатика
010400.Б3 Математическое и компьютерное моделирование в физике
Авторы программы :
Волкова Т.Б. | _________________________ |
Заведующий обеспечивающей кафедрой 805 | _________________________ |
Программа одобрена:
Заведующий выпускающей кафедрой 806 _________________________ | Декан выпускающего факультета 8 _________________________ |
Заведующий выпускающей кафедрой 807 _________________________ | |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Дискретная математика является достижение следующих результатов образования (РО):
N | Шифр | Результат освоения |
1 | З-5 | Методы дискретной математики, линейной алгебры и геометрии |
2 | ЗУ-1 | Применять на практике методы теории обыкновенных дифференциальных уравнений, дискретной математики, вероятностей и математической статистики, уравнений математической физики, архитектуры современных компьютеров, технологии программирования, численные методы и алгоритмы решения типовых математических задач |
3 | Знания на уровне представления: основные объекты дискретной математики; методы описания объектов дискретной математики и методы их исследований; существенное отличие дискретных объектов от непрерывных; проблематика дискретной математики. | |
4 | Знания на уровне воспроизведения: теоретические результаты (теоремы и свойства), характерные для множеств, отношений, логических высказываний, высказывательных (логических) функций, предикатов, автоматов. Знания на уровне понимания: свойства множественных и логических операций: интерпретация логических и множественных операций в суждениях на естественном и формальных языках: классификация и свойства автоматных моделей. | |
5 | Знания на уровне понимания: свойства множественных и логических операций: интерпретация логических и множественных операций в суждениях на естественном и формальных языках: классификация и свойства автоматных моделей. | |
6 | Умения теоретические: основные задачи математической логики и методы их решения; методы проверки истинности высказывательных (логических) функций; методы приведения логических выражений к определенному виду; методы проверки систем на функциональную полноту; эквивалентирование автоматов. | |
7 | Умения практические: умение однозначно задавать объекты дискретной математики, приводить их к стандартным формам; выполнять эквивалентные преобразования логических функций и предикатных выражений; проверять на выполнимость и общезначимость логических (предикатных) функций (выражений); выполнять операции композиции над автоматами. | |
8 | Навыки: применения методов математической логики для решения задач анализа и синтеза логических схем; нахождения инвариантов условных конструкций в информатике, построения логических схем для произвольных базисов. выполнения эквивалентных преобразований сложных логических функций; использования автоматных моделей при построения систем управления. |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
N | Шифр | Компетенция |
1 | ПК-1 | Способность демонстрации общенаучных базовых знаний естественных наук, математики и информатики, понимание основных фактов, концепций, принципов теорий, связанных с прикладной математикой и информатикой |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 8 зачетных(ые) единиц(ы), 288 часа(ов).
Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
Дискретная математика (семестр 1) | Основные понятия алгебры множеств | 2 | 2 | 0 | 3 | 7 | 144 |
Отношения на множествах | 6 | 6 | 0 | 6 | 18 | ||
Логика и исчисление высказываний | 12 | 12 | 0 | 13 | 37 | ||
Логика и исчисление предикатов | 4 | 4 | 0 | 9 | 17 | ||
Теория графов | 10 | 2 | 8 | 18 | 38 | ||
Дискретная математика (семестр 1) | Теория графов | 8 | 0 | 8 | 11 | 27 | 144 |
Элементы теории алгоритмов | 4 | 4 | 0 | 6 | 14 | ||
Алгебраические структуры | 14 | 14 | 0 | 12 | 40 | ||
Комбинаторика | 8 | 8 | 0 | 0 | 16 | ||
Всего | 68 | 52 | 16 | 78 | 214 | 288 |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
1. Теория множеств
- 1.1. Основные понятия алгебры множеств.
2. Отношения на множествах
- 2.1. Бинарные отношения
- 2.2. n-арные отношения
- 2.3. Функции
3. Логика и исчисление высказываний
- 3.1. Элементы логики высказываний.
- 3.2. Булевы функции
- 3.3. Аксиоматические теории. Исчисление высказываний.
4. Логика и исчисление предикатов
- 4.1. логика предикатов
- 4.2. исчисление предикатов
5. Элементы теории алгоритмов
- 5.1. Эффективная вычислимость.
- 5.2. Машина Тьюриннга
6. Теория графов
- 6.1. Основные понятия теории графов.
- 6.2. Пути в графе.