Основы математической логики

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

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

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

Аксиоматические теории и их свойствах, системы счисления, алгебра логики, исчисление высказываний, логика предикатов, алгоритмы

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

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

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