rpd000003158 (1010511)
Текст из файла
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000003158)
Теория графов и математическая логика
(указывается наименование дисциплины по учебному плану)
| Направление подготовки | Прикладная математика | |||||
| Квалификация (степень) выпускника | Бакалавр | |||||
| Профиль подготовки | 231300.Б3, 231300.Б4, 231300.Б2, 231300.Б5 | |||||
| Форма обучения | очная | |||||
| (очная, очно-заочная и др.) | ||||||
| Выпускающая кафедра | 803, 804, 802, 805 | |||||
| Обеспечивающая кафедра | 805 | |||||
| Кафедра-разработчик рабочей программы | 805 | |||||
| Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
| 1 | 180 | 34 | 26 | 8 | 85 | 27 | Э |
| 2 | 180 | 34 | 26 | 8 | 85 | 27 | Э |
| Итого | 360 | 68 | 52 | 16 | 170 | 54 |
Москва
2011 г.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 231300 Прикладная математика
по профилям:
231300.Б3 Математическое моделирование динамических систем
231300.Б4 Математическая экономика
231300.Б2 Математическое и компьютерное моделирование в механике
231300.Б5 Математическое и программное обеспечение систем обработки информации и управления
Авторы программы :
| Волкова Т.Б. | _________________________ |
| Заведующий обеспечивающей кафедрой 805 | _________________________ |
Программа одобрена:
| Заведующий выпускающей кафедрой 803 _________________________ | Декан выпускающего факультета 8 _________________________ |
| Заведующий выпускающей кафедрой 804 _________________________ | |
| Заведующий выпускающей кафедрой 802 _________________________ | |
| Заведующий выпускающей кафедрой 805 _________________________ | |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Теория графов и математическая логика является достижение следующих результатов образования (РО):
| N | Шифр | Результат освоения |
| 1 | В-5 | Владеть стандартными методами и моделями математического анализа и их применением к решению прикладных задач |
| 2 | Знания на уровне представления: основные объекты дискретной математики; методы описания объектов дискретной математики и методы их исследований; существенное отличие дискретных объектов от непрерывных; проблематика дискретной математики. | |
| 3 | Знания на уровне воспроизведения: теоретические результаты (теоремы и свойства), характерные для множеств, отношений, логических высказываний, высказывательных (логических) функций, предикатов, автоматов. Знания на уровне понимания: свойства множественных и логических операций: интерпретация логических и множественных операций в суждениях на естественном и формальных языках: классификация и свойства автоматных моделей. | |
| 4 | Знания на уровне понимания: свойства множественных и логических операций: интерпретация логических и множественных операций в суждениях на естественном и формальных языках: классификация и свойства автоматных моделей. | |
| 5 | Умения теоретические: основные задачи математической логики и методы их решения; методы проверки истинности высказывательных (логических) функций; методы приведения логических выражений к определенному виду; методы проверки систем на функциональную полноту; эквивалентирование автоматов. | |
| 6 | Умения практические: умение однозначно задавать объекты дискретной математики, приводить их к стандартным формам; выполнять эквивалентные преобразования логических функций и предикатных выражений; проверять на выполнимость и общезначимость логических (предикатных) функций (выражений); выполнять операции композиции над автоматами. | |
| 7 | Навыки: применения методов математической логики для решения задач анализа и синтеза логических схем; нахождения инвариантов условных конструкций в информатике, построения логических схем для произвольных базисов. выполнения эквивалентных преобразований сложных логических функций; использования автоматных моделей при построения систем управления. |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
| N | Шифр | Компетенция |
| 1 | ПК-14 | Способен самостоятельно изучать новые разделы фундаментальных наук |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 10 зачетных(ые) единиц(ы), 360 часа(ов).
| Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
| Теория графов и математическая логика (1 семестр) | Основные понятия алгебры множеств | 2 | 2 | 0 | 4 | 8 | 180 |
| Отношения на множествах | 6 | 6 | 0 | 11 | 23 | ||
| Логика и исчисление высказываний | 12 | 12 | 0 | 24 | 48 | ||
| Логика и исчисление предикатов | 4 | 4 | 0 | 16 | 24 | ||
| Теория графов | 10 | 2 | 8 | 30 | 50 | ||
| Теория графов и математическая логика (2 семестр) | Теория графов | 8 | 0 | 8 | 19 | 35 | 180 |
| Элементы теории алгоритмов | 4 | 4 | 0 | 10 | 18 | ||
| Алгебраические структуры | 14 | 14 | 0 | 24 | 52 | ||
| Комбинаторика | 8 | 8 | 0 | 5 | 21 | ||
| Всего | 68 | 52 | 16 | 143 | 279 | 360 | |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
1. Теория множеств
- 1.1. Основные понятия алгебры множеств.
2. Отношения на множествах
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
