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