close

Вход

Забыли?

вход по аккаунту

...решения комбинаторных задач большой сложности »

код для вставкиСкачать
Аннотация рабочей программы дисциплины
Б3.В.ДВ.1.4 «Методы решения комбинаторных задач большой сложности»
Направление подготовки: 010400.62 «Прикладная математика и информатика»
Профиль: Математическое и компьютерное моделирование
1. Цели и задачи дисциплины
Целью преподавания дисциплины «Методы решения комбинаторных задач
большой сложности» является формирование у будущих специалистов современных
теоретических знаний в области дискретной математики и практических навыков в их
использовании при решении задач исследовательского типа, как теоретического плана,
так и с практическим содержанием, относящимся к решению
задач высокой
алгоритмической сложности, ознакомление студентов с программной реализации
логико-эвристических методов решения комбинаторных задач высокой сложности.
Изучить основные понятия и методы логико-эвристических методов решения
комбинаторных задач высокой сложности, как важнейшего раздела современной
дискретной математики, ознакомиться с их приложениями. Научиться выполнять в
абстрактных пространствах все основные операции и проводить вычислительные
процедуры.
2. Место дисциплины в учебном плане и общая трудоёмкость
Дисциплина «Методы решения комбинаторных задач большой сложности» входит
в специальную часть профессионального цикла Основной образовательной программы по
направлению 010400.62 «Прикладная математика и информатика» (бакалавриат).
Для изучения и освоения дисциплины специализации нужны первоначальные
знания из курсов математического анализа, линейной алгебры, информатики, дискретной
математики и математической логики. Знания и умения, приобретенные студентами в
результате изучения дисциплины, будут использоваться при изучении курсов дискретной
математики, программирования, теории баз данных и информационных технологий, при
выполнении курсовых и дипломных работ, связанных с решением конкретных задач из
теории решения комбинаторных задач высокой сложности и т.п.
Трудоёмкость дисциплины составляет 7 зачётных единиц.
3. Формируемые компетенции
ОК-9, ОК-11, ОК-12, ОК-14, ОК-15, ОК-16, ПК-1, ПК-2, ПК-3, ПК-4, ПК-6, ПК-8,
ПК-9, ПК-10.
4. Знания, умения и навыки, формируемые в результате освоения
дисциплины
В результате освоения дисциплины обучающийся должен:
Знать:
основные понятия и методы математической логики, возможности их
применения.
Уметь: решать задачи исследовательского типа, как теоретического плана, так и с
практическим содержанием, использовать навыки теории вывода, теории вычислимости
и теории моделей.
Владеть: навыками теории вывода, теории вычислимости и теории моделей, а также
логико-эвристическими методами решения комбинаторных задач высокой сложности.













5. Содержание дисциплины
Основы теории множеств. Парадокс Рассела.
Отношения. Модели. Алгебраические системы.
Формальные теории. «Главная» алгоритмическая проблема.
Многоосновные алгебраические системы как математическая модель реляционных баз
данных.
Формулы УИП. Интерпретация формул на многоосновных алгебраических системах.
Формальный логический вывод. Теорема полноты К.Геделя.
Метод удовлетворения ограничениям в логическом программировании. Основные
приемы оптимизации переборов при решении комбинаторных задач высокой
сложности.
Примеры комбинаторных задач высокой сложности. Проектирование расписаний.
Обеспечение жизнеспособности территориально распределенных комплексов.
Планирование информационных потоков.
Методы представления данных и структур управления в системах решения
комбинаторных задач высокой сложности.
6. Виды учебной работы
лекции (34 час.);
практические занятия (34 час.);
контрольные работы (11 час.);
самостоятельная работа (79 час.).
7. Технические и программные средства обучения, Интернет- и
Интранет-ресурсы
 http://educa.isu.ru
 http://www.intuit.ru
 http://math.isu.ru/ru/chairs/cmm/files.html
 программа SPRUT 6.1 (для выполнения семинарских работ)
8. Формы текущего контроля успеваемости студентов
Контрольные работы
9. Виды и формы промежуточной аттестации
Зачет и экзамен (в письменной форме).
10. Разработчик аннотации
Профессор кафедры проблем управления и информатики, док. физ.-мат. наук,
Мартьянов Владимир Иванович
1/--страниц
Пожаловаться на содержимое документа