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

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

Основной целью изучения данной дисциплины является формирование компетенций обучающегося в области применения аппарата математической логики, необходимого для решения задач, возникающих в профессиональной деятельности. Развитие абстрактного мышления, освоение аппарата математической логики, формирование логического мышления. Задачами изучения курса являются: развитие творческого, логического и алгоритмического мышления, математической грамотности, способности критически анализировать собственные рассуждения и самостоятельно их корректировать; ознакомление с основными объектами и методами математической логики, необходимыми для решения различных задач; развитие навыков формализации знаний, конкретных практических проблем и задач и последующего их решения средствами и методами математической логики.

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

Логика высказываний, логика предикатов. Понятие логического вывода в логике высказываний и логике предикатов. Строение математических теорем, схемы доказательств теорем, принцип дедукции. Значение математической логики для исследования математических теорий.

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

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

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