Скачать 0.88 Mb.
|
Аннотация программы учебной дисциплины«Анализ алгоритмов» Целью дисциплины является систематизация знаний об основных алгоритмах на стандартных структурах данных; изучение основных методов дизайна, представления и доказательства алгоритмов; ознакомление с основами теории сложности алгоритмов и классов сложности. Задачами дисциплины являются: систематизация знаний по алгоритмам и их сложности;.предоставление и верификация шаблонов для проектирования алгоритмов. Дисциплина входит в вариативную часть общенаучного цикла М1 (дисциплины по выбору студента) образовательной магистерской программы «Компьютерное моделирование» направления подготовки магистров 230100 «ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА» Изучение данной дисциплины требует следующих компетенций студентов:
Дисциплины, последующие по учебному плану:
Изучение дисциплины направлено на формирование следующих компетенций: Общекультурные компетенции (ОК)
Профессиональные компетенции:
В результате освоения дисциплины студент должен: знать -основные алгоритмы работы со стандартными структурами данных, -основные методы дизайна алгоритмов, -основы теории оценки сложности алгоритмов; -общую концепцию эффективности, документированности и корректности алгоритма уметь -оценивать эффективность проектируемых алгоритмов, -обосновывать корректность проектируемых алгоритмов, владеть -основами теории доказательства корректности алгоритмов, - основными методами дизайна алгоритмов к конкретным задачам, -навыком документирования разработанных алгоритмов. Тематический план курсаа)Теоретические занятия Тема 1. Искусство представления и доказательства корректности алгоритмов. Псевдокод – человеко-ориентированный подход к представлению и анализу алгоритмов. Методы доказательства корректности и завершаемости алгоритмов. Примеры представления, анализа и доказательства простых алгоритмов. Машина с произвольным доступом к памяти – базовая модель для описания и анализа алгоритмов. Понятие асимптотической (временной) сложности алгоритмов. Примеры оценки асимптотической сложности. Тема 2. Методы проектирования алгоритмов. Вспомогательные алгоритмы: алгоритмы поиска, сортировки (сравнениями, выбором, вставкой, слиянием), умножение матриц (алгоритм Штрассена) . Метод отката: общее понятие, итеративная форма (ее обоснование), рекурсивная форма, примеры применения. Метод ветвей и границ: общее понятие, общая форма (ее обоснование), примеры применения. Динамическое программирование: общее понятие, общая форма (ее обоснование) и примеры применения. Другие методы проектирования алгоритмов (сведения к задаче меньшей размерности, разделяй и властвуй, жадные алгоритмы). Тема 3. Недетерминированные и альтернирующие вычисления. Понятие недетерминированного/альтернирующего алгоритма, временной сложности недетерминированных/альтернирующих вычислений. Детерминированное моделирование альтернирующих и недетерминированных вычислений, связь соответствующих классов сложности. Понятия класса сложности по времени, определение классов P и NP, проблема P=NP. NP-полнота проблемы булевской выполнимости. 11. Примеры NP-полных проблем: изоморфное вложение графов, проблема клики, существования Гамильтонова цикла (с доказательством). б)Практические занятия Тема 2. Методы проектирования алгоритмов. Упражнения на алгоритмы сортировки и поиска (сравнениями, выбором, вставкой, слиянием). Упражнения на матричные алгоритмы: алгоритм Штрассена умножения матриц, обращение матриц, решение систем линейных уравнений. Решение алгоритмических задач на применение метод отката: обходы конем, поиск в лабиринте, гамильтов цикл. Решение алгоритмических задач на применение метода ветвей и границ: наибольшее паросочетание, остовное дерево, гамильтов цикл. Решение алгоритмических задач на применение динамического программирования: кратчайшие пути, решение конечных игр. Решение алгоритмических задач на применение разных методов проектирования алгоритмов (в том числе сведения к задаче меньшей размерности, разделяй и властвуй и жадные алгоритмы). Тема 3. Недетерминированные и альтернирующие вычисления. Упражнения на составление недетерминированных алгоритмов. Упражнения на доказательство NP-полноты. Упражнения на доказательство NP-полноты. (Продолжение.) Упражнения на составление альтернирующих алгоритмов. |
Аннотация рабочей программы учебной дисциплины «История» Аннотация... Аннотация рабочей программы учебной дисциплины «Экономическая теория (микро-, макроэкономика, мировая экономика)» | Учебной дисциплины пс рпуд рабочая программа учебной дисциплины (модуля)... Компетенции студента, формируемые в результате освоения учебной дисциплины (модуля) / ожидаемые результаты образования и компетенции... | ||
Аннотация рабочей программы учебной дисциплины опоп. 080114 аннотация... В результате изучения учебной дисциплины Информатика и икт студент должен обладать общими компетенциями | Аннотация рабочей программы учебной дисциплины опоп. 140448 аннотация... Специальность Техническая эксплуатация и обслуживание электрического и электромеханического оборудования (по отраслям) | ||
Аннотация рабочей программы учебной дисциплины Авторская кукла Уровень... Цели освоения учебной дисциплины: формирование системы знаний и практических навыков в области декоративно-прикладного искусства,... | Паспорт программы учебной дисциплины «Операционные системы» Область применения Рабочая программа учебной дисциплины «Операционные системы» является частью рабочей основной профессиональной образовательной программы... | ||
Аннотация рабочей программы учебной дисциплины одб. 02 Литература Область применения программы Программа учебной дисциплины является частью примерной основной профессиональной образовательной программы в соответствии с фгос... | Паспорт программы учебной дисциплины «системы обработки графической... Рабочая программа учебной дисциплины является частью основной профессиональной образовательной программы в соответствии с фгос по... | ||
Аннотация рабочей программы учебной дисциплины обд 01 «Русский язык»... Программа учебной дисциплины является частью примерной основной профессиональной образовательной программы в соответствии с фгос... | Учебно-методический комплекс по дисциплине интеллектуальные информационные... Учебно-методический комплекс дисциплины «Интеллектуальные информационные системы». М.: Изд. МиигаиК. Упп «Репрография», 2014 г.,... | ||
Аннотация рабочей учебной программы дисциплины б в. 11 «Организация секретарского обслуживания» Информационные системы в управлении”, “Документоведение”, “Технологии документационного обеспечения управления”, “Архивоведение”... | Аннотация дисциплины Базовой (вариативной) части цикла Аннотация... «Московский государственный юридический университет имени О. Е. Кутафина (мгюа)» | ||
Аннотация программы учебной дисциплины «основы философии» Область применения программы Рабочая программа учебной дисциплины является частью основной профессиональной образовательной программы в соответствии с фгос по... | Аннотация рабочей программы учебной дисциплины опд. 10 Математика... Примерная программа учебной дисциплины является частью примерной основной профессиональной образовательной программы в соответствии... | ||
Аннотация программы учебной дисциплины Информационные технологии... Программа учебной дисциплины является частью основной профессиональной образовательной программы в соответствии с фгос спо по специальности... | Пример аннотация рабочей программы учебной дисциплины Рабочая программа учебной дисциплины является частью основной профессиональной образовательной программы в соответствии с фгос для... |