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

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

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