Учебная дисциплина «Математическая логика» относится к базовой части профессионального цикла общих математических и естественно-научных дисциплин учебного плана бакалавриата и ставит своей целью формирование у будущих бакалавров:

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