Математическая логика и теория алгоритмов

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