Sul programma di formazione
La logica matematica, l'algebra, la teoria dei numeri e la matematica discreta sono sezioni della matematica che studiano le proprietà degli interi e delle loro generalizzazioni, le strutture algebriche, la struttura generale delle teorie matematiche, dei loro modelli e dei processi algoritmici. In algebra si studiano gli insiemi astratti con operazioni e relazioni su di essi definite. Nella logica matematica si studiano le proprietà sintattiche e semantiche delle teorie matematiche formalizzata e le proprietà strutturali dei loro modelli semantici. Nella teoria dei numeri si studiano le proprietà aritmetiche degli oggetti matematici.