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

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

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

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

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

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

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

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