Sul programma di formazione
Orientata alla formazione qualitativa di personale scientifico e scientifico-pedagogico nel campo della logica matematica, dell'algebra, della teoria dei numeri e della matematica discreta. Svolge l'apprendimento da parte del dottorando dei metodi fondamentali utilizzati nelle sezioni moderne della logica matematica, dell'algebra, della teoria dei numeri e della matematica discreta. Prepara all'attività scientifica e scientifico-pedagogica indipendente nel settore indicato.
Cosa fanno i laureati?
Formazione di personale scientifico e scientifico-pedagogico di alta qualificazione nel campo delle basi matematiche degli algoritmi, della geometria algebrica, della teoria delle algebra di Lie, della teoria delle rappresentazioni, dell'algebra omologa e della teoria K, della teoria delle categorie e dei funtori, della teoria algebrica e analitica dei numeri, della teoria della computabilità, delle funzioni ricorsive, delle basi logiche dell'aritmetica, dell'analisi computabile, della teoria dell'informazione, della complessità del calcolo, degli automi finiti, di altri modelli astratti di calcolo, della matematica discreta e della combinatoria.
