Дисциплина «Математическая логика и теория алгоритмов» согласно федеральному ГОС специальности 090301   «Компьютерная  безопасность» (квалификация: специалист) является дисциплиной учебного цикла С.2 Математический и естественнонаучный цикл (Б Базовая часть).