Sobre el programa de formación
La lógica matemática, el álgebra, la teoría de números y las matemáticas discretas son ramas de las matemáticas que estudian las propiedades de los números enteros y sus generalizaciones, las estructuras algebraicas, la estructura general de las teorías matemáticas, sus modelos y procesos algorítmicos. En el álgebra se investigan conjuntos abstractos con operaciones y relaciones dadas sobre ellos. En la lógica matemática se estudian las propiedades sintácticas y semánticas de las teorías matemáticas formalizadas y las propiedades estructurales de sus modelos semánticos. En la teoría de números se investigan las propiedades aritméticas de los objetos matemáticos.