Sobre o programa de treinamento
Está orientada para a formação de qualidade de pessoal científico e científico-pedagógico na área de lógica matemática, álgebra, teoria dos números e matemática discreta. Realiza o domínio pelo estudante de doutorado dos métodos fundamentais utilizados nas seções modernas de lógica matemática, álgebra, teoria dos números e matemática discreta. Prepara para a atividade científica e científico-pedagógica independente na área indicada.
O que fazem os graduados?
Formação de pessoal científico e científico-pedagógico de alta qualificação nas áreas de fundamentos matemáticos de algoritmos, geometria algébrica, teoria das álgebras de Lie, teoria das representações, álgebra homológica e teoria K, teoria das categorias e funtores, teoria algébrica e analítica dos números, teoria da computabilidade, funções recursivas, fundamentos lógicos da aritmética, análise computável, teoria da informação, complexidade da computação, autómatas finitos, outros modelos abstratos de computação, matemática discreta e combinatória.
