6. Основные образовательные технологии.

Лекции, объяснительно-иллюстративный метод с элементами проблемного изложения, практические занятия, активные и интерактивные методы, индивидуальные занятия, контрольные работы.

7. Общая трудоемкость дисциплины.

3 зачётные единицы (108 академических часов).

8. Формы контроля.

Зачёт в 6 семестре.

9. Составитель.

Зыков Пётр Сергеевич, кандидат физико-математических наук, доцент кафедры алгебры, геометрии и ТОМ КГУ.

Аннотация к рабочей программе дисциплины «Математическая логика»

1. Место дисциплины в структуре основной образовательной программы (ООП).

Дисциплина включена в вариативную часть профессионального цикла ООП.

К исходным требованиям, необходимым для изучения дисциплины «Математическая логика», относятся знания, умения и виды деятельности, сформированные в процессе изучения дисциплин: «Вводный курс математики», «Дискретная математика».

2. Место дисциплины в модульной структуре ООП.

Дисциплина «Математический анализ» является самостоятельным модулем.

3. Цели освоения дисциплины

Целями освоения дисциплины (модуля) "Математическая логика" являются:

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

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

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

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

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

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

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

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

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

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

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

работе.

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

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