Дискретная математика и математическая логика

Цели и задачи дисциплины

Цель: освоение знаний об основных понятиях и методах дискретной математики и математической логики, их использование при решении профессиональных задач Задачи: 1) формирование математической культуры студента, 2) фундаментальная подготовка по основным разделам дискретной математики и математической логики, 3) овладение современным математическим аппаратом для дальнейшего использования при решении теоретических и прикладных задач.

Краткое содержание дисциплины

Аксиоматические теории и их свойствах, системы счисления, алгебра логики, исчисление высказываний, логика предикатов, алгоритмы, множества и отношения, элементы комбинаторики, метод математической индукции, введение в теорию графов

Компетенции обучающегося, формируемые в результате освоения дисциплины

Выпускник должен обладать:

ОПК-1 Способен использовать фундаментальные знания, полученные в области математических и естественных наук, в профессиональной деятельности
ПК-7 Способен применять в практической деятельности основные концепции, принципы, теории и факты, связанные с информатикой (09.03.04 ОПК-7)