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

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

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

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

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

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

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

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

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