À propos du programme de formation
La logique mathématique, l'algèbre, la théorie des nombres et les mathématiques discrètes sont des branches des mathématiques qui étudient les propriétés des nombres entiers et de leurs généralisations, les structures algébriques, la structure générale des théories mathématiques, leurs modèles et processus algorithmiques. En algèbre, les ensembles abstraits avec des opérations et des relations données sur eux sont étudiés. En logique mathématique, on étudie les propriétés syntaxiques et sémantiques des théories mathématiques formalisées et les propriétés structurelles de leurs modèles sémantiques. En théorie des nombres, on étudie les propriétés arithmétiques des objets mathématiques.