Рекомендовано МССН
«Информатика»
ПРОГРАММА
Наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках
Рекомендуется для направления (ий) подготовки (специальности (ей))
010200 «Математика и компьютерные науки»
(указываются код и наименования направления(ий)
подготовки (специальности (ей) и/или профилей (специализаций)
Квалификация (степень) выпускника бакалавр
(указывается квалификация (степень) выпускника в соответствии с ФГОС)
1. Цели и задачи дисциплины:
Целью данной дисциплины является знакомство с основами дискретной математики, изучение классической теории графов, а также применение методов теории графов в прикладных задачах. Также целью освоения дисциплины является знание основополагающих понятий, результатов и методов математической логики. Способы оценки эффективности и общие принципы построения алгоритмов иллюстрируются на различных комбинаторных задачах, в числе которых крайне важные для работы с большими массивами данных алгоритмы поиска. Для достижения поставленной цели выделяются задачи дисциплины: освоение теории множеств, навыки работы с пропозициональными и предикатными исчислениями, знание формулировок и доказательств основных теорем курса.
Задачей дисциплины является развитие логического мышления у студентов и изучение основ математической логики. Развиваются навыки формализации и описания дискретных математических объектов.
2. Место дисциплины в структуре ООП:
(указывается цикл, к которому относится дисциплина; формулируются требования к входным знаниям, умениям и компетенциям студента, необходимым для ее изучения; определяются дисциплины, для которых данная дисциплина является предшествующей)
Цикл, к которому относится дисциплина: базовая часть профессионального цикла Б.3.
Требования к входным знаниям и умениям: Для освоения дисциплины «Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках» необходима базовая математическая подготовка в рамках школьной программы. Курс является базовым.
Компетенции: ОК-6-8, 11-15, ПК-1-14, 16, 19-24, 27, 29:
ОК-6 способность применять в научно-исследовательской и профессиональной деятельности базовые знания в области фундаментальной и прикладной математики и естественных наук
ОК-7 обладать значительными навыками самостоятельной научно-исследовательской работы
ОК-8 способность и постоянная готовность совершенствовать и углублять свои знания, быстро адаптироваться к любым ситуациям
ОК-11 обладать фундаментальной подготовкой в области фундаментальной математики и компьютерных наук, готовность к использованию полученных знаний в профессиональной деятельности
ОК-12 владеть значительными навыками самостоятельной работы с компьютером, программирования, использования методов обработки информации и численных методов решения базовых задач
ОК-13 владеть базовыми знаниями в области информатики и современных информационных технологий, навыками использования программных средств и навыками работы в компьютерных сетях, умение создавать базы данных и использовать ресурсы Интернета
ОК-14 способность к анализу и синтезу информации, полученной из любых источников
ОК-15 способность к письменной и устной коммуникации на русском языке
ПК-1 умение определять общие формы, закономерности, инструментальные средства отдельной предметной области
ПК-2 умение понять поставленную задачу
ПК-3 способность разрабатывать и реализовывать процессы жизненного цикла информационных систем, программного обеспечения, сервисов систем информационных технологий, а также методы и механизмы оценки и анализа функционирования средств и систем информационных технологий; способность разработки проектной и программной документации, удовлетворяющей нормативным требованиям
ПК-4 способность понимать и применять в исследовательской и прикладной деятельности современный математический аппарат, фундаментальные концепции и системные методологии, международные и профессиональные стандарты в области информационных технологий, способность использовать современные инструментальные и вычислительные средства (в соответствии с профилем подготовки)
ПК-5 умение на основе анализа увидеть и корректно сформулировать результат
ПК-6 умение самостоятельно увидеть следствия сформулированного результата
ПК-7 умение грамотно пользоваться языком предметной области
ПК-8 способность профессионально владеть базовыми математическими знаниями и информационными технологиями, эффективно применять их для решения научно-технических задач и прикладных задач, связанных с развитием и использованием информационных технологий
ПК-9 знание корректных постановок классических задач
ПК-10 понимание корректности постановок задач
ПК-11 владение навыками самостоятельного построения алгоритма и его анализа
ПК-12 понимание того, что фундаментальное знание является основой компьютерных наук
ПК-13 глубокое понимание сути точности фундаментального знания
ПК-14 владение навыками контекстной обработки информации
ПК-16 выделение главных смысловых аспектов в доказательствах
ПК-19 владение методом алгоритмического моделирования при анализе постановок математических задач
ПК-20 владение методами математического и алгоритмического моделирования при анализе и решении прикладных и инженерно-технических проблем
ПК-21 владение проблемно-задачной формой представления математических и естественно-научных знаний
ПК-22 умение увидеть прикладной аспект в решении научной задачи, грамотно представить и интерпретировать результат
ПК-23 умение проанализировать результат и скорректировать математическую модель, лежащую в основе задачи
ПК-24 владение методами алгоритмического моделирования при анализе управленческих задач в научно-технической сфере, а также в экономике, бизнесе и гуманитарных областях знаний
ПК-27 умение точно представить математические знания в устной форме
ПК-29 возможность преподавания физико-математических дисциплин в общеобразовательных учреждениях и образовательных учреждениях среднего профессионального образования
Дисциплины, для которых данная дисциплина является предшествующей: Математический анализ, Теория функций комплексной переменной, Функциональный анализ, Теория автоматов и формальных языков, Теория вероятностей и математическая статистика, Модели на гиперграфах, Введение в управление инфокоммуникациями, Проектирование корпоративных систем, Прикладные задачи ТМО, Прикладные протоколы Интернет WWW, курсовая работа.
3. Требования к результатам освоения дисциплины:
Процесс изучения дисциплины «Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках» направлен на формирование следующих компетенций: : ОК: 6-8, 11-15, ПК: 1-14, 16, 19-24, 27, 29
(указываются в соответствии с ФГОС ВПО)
а) общекультурные (ОК):
ОК-6 способность применять в научно-исследовательской и профессиональной деятельности базовые знания в области фундаментальной и прикладной математики и естественных наук
ОК-7 обладать значительными навыками самостоятельной научно-исследовательской работы
ОК-8 способность и постоянная готовность совершенствовать и углублять свои знания, быстро адаптироваться к любым ситуациям
ОК-11 обладать фундаментальной подготовкой в области фундаментальной математики и компьютерных наук, готовность к использованию полученных знаний в профессиональной деятельности
ОК-12 владеть значительными навыками самостоятельной работы с компьютером, программирования, использования методов обработки информации и численных методов решения базовых задач
ОК-13 владеть базовыми знаниями в области информатики и современных информационных технологий, навыками использования программных средств и навыками работы в компьютерных сетях, умение создавать базы данных и использовать ресурсы Интернета
ОК-14 способность к анализу и синтезу информации, полученной из любых источников
ОК-15 способность к письменной и устной коммуникации на русском языке
а) профессиональные (ПК):
ПК-1 умение определять общие формы, закономерности, инструментальные средства отдельной предметной области
ПК-2 умение понять поставленную задачу
ПК-3 способность разрабатывать и реализовывать процессы жизненного цикла информационных систем, программного обеспечения, сервисов систем информационных технологий, а также методы и механизмы оценки и анализа функционирования средств и систем информационных технологий; способность разработки проектной и программной документации, удовлетворяющей нормативным требованиям
ПК-4 способность понимать и применять в исследовательской и прикладной деятельности современный математический аппарат, фундаментальные концепции и системные методологии, международные и профессиональные стандарты в области информационных технологий, способность использовать современные инструментальные и вычислительные средства (в соответствии с профилем подготовки)
ПК-5 умение на основе анализа увидеть и корректно сформулировать результат
ПК-6 умение самостоятельно увидеть следствия сформулированного результата
ПК-7 умение грамотно пользоваться языком предметной области
ПК-8 способность профессионально владеть базовыми математическими знаниями и информационными технологиями, эффективно применять их для решения научно-технических задач и прикладных задач, связанных с развитием и использованием информационных технологий
ПК-9 знание корректных постановок классических задач
ПК-10 понимание корректности постановок задач
ПК-11 владение навыками самостоятельного построения алгоритма и его анализа
ПК-12 понимание того, что фундаментальное знание является основой компьютерных наук
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 |
