Место дисциплины

в структуре образовательной программы

Дисциплина Математическая логика включена в вариативную часть блока 1

Связана с дисциплинами: Математика, Физика, Химия, Математическая логика, Вычислительная математика, Компьютерная математика, Математическое моделирование

Дисциплина изучается на 2 курсе (в 4 семестре).

Формируемые компетенции

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

Знания, умения и навыки, получаемые в результате освоения дисциплины

Знать:   

-     основные понятия и методы математического анализа, линейной алгебры, теории дифференциальных уравнений и элементов теории уравнений математической физики, теории вероятности и математической статистики, случайных процессов, статистического оценивания и проверки гипотез, элементов теории функции комплексной переменной;

-     основные методы описания отношений и задания их свойств;

Уметь:

-     применять математические методы при решении профессиональных задач повышенной сложности;

-     решать типовые задачи по основным разделам курса, используя методы математического анализа;

-     использовать методы математической логики и дискретной математики при описании информационной модели;

-     сформулировать и обосновать гипотезы относительно экспериментальных данных;

Владеть:

-     навыками аргументировано обосновывать свои умозаключения;

-     навыками математического описания стандартных процессов;

-     навыками численного сопровождения результатов эксперимента;

-     методами построения математической модели профессиональных задач и содержательной интерпретации полученных результатов;

-      методами статистической обработки информации.

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

Трудоемкость 6 з.е.

Учебные занятия проводятся в форме контактной работы – лекции, практические занятия, и самостоятельной работы обучающихся.

Форма промежуточной аттестации

Зачет с оценкой