КАРТА КОМПЕТЕНЦИЙ ДИСЦИПЛИНЫ 230400 ПРОФИЛЬ: ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ДИЗАЙНЕ МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ Цель дисциплины формирование у студентов фундаментальных знаний в области математической логики и теории алгоритмов, являющихся основой математического обеспечения современных компьютерных и информационных технологий; получение представлений о математической логике и теории алгоритмов как базе для изучения специализированных курсов; приобретение представлений о новейших тенденциях развития математического инструментария Задачи использование знаний об основных понятиях математической логики и теории алгоритмов, практическое решение логических и алгоритмических задач В процессе освоения данной дисциплины студент формирует и демонстрирует следующие Общекультурные компетенции: Компетенции Перечень компонентов Технологии Форма оценочного Ступени уровней освоеформирования** средства *** ния компетенции Индекс Формулировка Лекции, самостоя- Тск, ИДЗ, ЗРЛ, Зач, Пороговый уровень ОК-6 - владение широкой Знать: - основные понятия математической логительная работа, Экз общей подготовкой (баЗнает основные понятия ки и теории алгоритмов; лабораторные разовыми знаниями) для математической логики и - основы логики высказываний, логики боты решения практических теории алгоритмов. Умепредикатов, алгебры множеств, теории алзадач в области инфорет применять методы магоритмов. мационных систем и тематической логики и Лекции, самостоя- Тск, ИДЗ, Сб, ЗРЛ, теории алгоритмов для технологий Уметь: - исследовать различные логические задательная работа, Зач, Экз анализа аксиоматической чи; лабораторные ратеории, оценки вычисли- применять полученные знания для абботы тельной сложности матестрактного проектирования логических матических и прикладных структур. задач. Владеет техникой Самостоятельная Тск, ИДЗ, Сб, ЗРЛ, равносильных преобразоВладеть: - методологией математической логики работа, лабораЗач, Экз ваний логических формул. торные работы Повышенный уровень Способен формулировать и решать задачи в научных областях, связанных с современными компьютерными и информационными технологиями. Умеет исследовать различные логические задачи; применять полученные зна- ния для абстрактного проектирования логических структур. Владеет приёмами и формализованными схемами, помогающими анализировать, моделировать и решать различные логические задачи ОК-10 - готовность использовать основные законы естественно-научных дисциплин в профессиональной деятельности, применять методы математического анализа и моделирования, теоретического и экспериментального исследования Знать: - приёмы, методы и способы математической формализации логических задач. Лекции, самостоятельная работа, лабораторные работы Уметь: - формулировать и решать задачи в научных областях, связанных с современными компьютерными и информационными технологиями. Владеть: - приёмами и формализованными схемами, помогающими анализировать, моделировать и решать различные логические задачи Лекции, самостоятельная работа, лабораторные работы Самостоятельная работа, лабораторные работы Тск, ИДЗ, ЗРЛ, Зач, Пороговый уровень Экз Знает различные определения и подходы к понятию алгоритма, важнейшие свойства алгоритмов Тск, ИДЗ, Сб, ЗРЛ, в математике. Умеет Зач, Экз применять средства языка логики предикатов для записи и анализа математических предложений, формулировать алгоритТск, ИДЗ, Сб, ЗРЛ, мические проблемы. ВлаЗач, Экз деет приёмами, методами и способами математической формализации логических задач. Повышенный уровень Применяет основные положения и методы математической логики и теории алгоритмов при решении сложных комплексных социальных и профессиональных задач. Эффективно пользуется аппаратом математической логики и теории алгоритмов для решения задач профессиональной деятельности * Индекс и формулировка компетенции из ФГОСа **Технологии формирования: лекция, самостоятельная работа, семинар, лабораторные работы, практические занятия, производственная практика, преддипломная практика, выполнение ВКР *** Форма оценочного средства: коллоквиум Кл; контрольная работа Кнр; собеседование Сб; тестирование письменное, компьютерное ТСп, ТСк; типовой расчет Тр; индивидуальные домашние задания ИДЗ; выполнение расчетно-графических работ (%) РГР; внеаудиторное чтение (в тыс. знаков) Вч; реферат Реф; эссе Э; защита лабораторных работ ЗРЛ; курсовая работа КР; курсовой проект КП; научно-исследовательская работа НИРС; отчеты по практикам ОП; зачет Зач; экзамен Экз; государственный экзамен ГЭ; защита практики Зп; выступление на семинаре С; защита выпускной квалификационной работы Звкр. Заведующий кафедрой Преподаватель-разработчик ________________________ (подпись) ________________________ (подпись) Н.А. Коробов (инициалы, фамилия) Н.Е. Егорова (инициалы, фамилия)