Sobre o programa de treinamento
A lógica matemática, a álgebra, a teoria dos números e a matemática discreta são ramos da matemática que estudam as propriedades dos números inteiros e suas generalizações, as estruturas algébricas, a estrutura geral das teorias matemáticas, seus modelos e processos algorítmicos. Na álgebra, são estudados conjuntos abstratos com operações e relações definidas sobre eles. Na lógica matemática, são estudadas as propriedades sintáticas e semânticas das teorias matemáticas formalizadas e as propriedades estruturais de seus modelos semânticos. Na teoria dos números, são investigadas as propriedades aritméticas dos objetos matemáticos.