4. Требования к результатам освоения дисциплины.

способность владеть культурой мышления, умнеть аргументировано и ясно строить устную и письменную речь (ОК-1);

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

способность приобретать новые научные и профессиональные знания, используя современные образовательные и информационные технологии (ПК-2);

способность понимать и применять в исследовательской и прикладной деятельности современный математический аппарат (ПК-3);

способность собирать, обрабатывать и интерпретировать данные современных научных исследований, необходимые для формирования выводов по соответствующим научным, профессиональным, социальным и этическим проблемам (ПК-7).

В результате освоения дисциплины обучающийся должен:

1) Знать: основные понятия математической логики и теории алгоритмов, определения и свойства математических объектов в этой области, формулировки утверждений, методы их доказательства, возможные сферы их приложений, основы компьютерного моделирования стохастических объектов и явлений.

2) Уметь: решать задачи вычислительного и теоретического характера в области математической логики и теории алгоритмов, доказывать утверждения из этой области.

3) Владеть: математическим аппаратом логики и теории алгоритмов, методами решения задач и доказательства утверждений в этой области.

работе.

5. Структура и содержание дисциплины.

Аксиоматика исчисления высказываний. Правила вывода. Вывод основных законов математической логики. Связь исчисления высказываний и алгебры высказываний. Предикаты. Кванторные операции. Формальные аксиоматические теории.