Contenuto
Ti trovi in: HOME »Programmi, progetti e risultati »I progetti »PRIN - Programmi di ricerca di Rilevante Interesse Nazionale »Scienze matematiche e informatiche »LOGICA MATEMATICAINIZIO_TESTO_DA_INDICIZZARE
LOGICA MATEMATICA
-
'mathesis universalis', oggetti astratti e processi formali.
-
analisi di sistemi di riduzione mediante sistemi di transizione (art)
-
anelli commutativi e loro moduli: teoria moltiplicativa degli ideali, metodi omologici e topologici
-
fondazioni logiche di linguaggi astratti di programmazione
-
logiche a più valori e informazione incerta: metodologie algebriche e algoritmiche.
-
metodi costruttivi in topologia algebra e fondamenti dell'informatica
-
metodi di logica in algebra, analisi e geometria
-
modelli e metodi per la gestione dell'informazione e dell'incertezza nei processi di acquisizione della conoscenza.
-
sviluppo su grande scala di dimostrazioni certificate
-
teoria dei modelli, teoria degli insiemi e applicazioni
