Insegnamenti attivi nel periodo selezionato: 19.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
Argomento | Descrizione | Area di ricerca |
---|---|---|
General logic |
Algebra, Geometria e Logica Matematica
Mathematical logic and foundations |
|
Teoria della dimostrazione e matematica costruttiva | La teoria della dimostrazione si occupa delle dimostrazione matematiche, che in tal modo diventano oggetti della matematica. L'obiettivo è capire “cosa si può dimostrare con cosa” e ottenere informazione computazionale dalle dimostrazioni. La matematica costruttiva mira a dimostrazioni dirette da cui si possono estrarre algoritmi; ogni tale algoritmo viene fuori con un certificato di correttezza gratuito, che è la dimostrazione originale. |
Algebra, Geometria e Logica Matematica
Mathematical logic and foundations |
Teoria della dimostrazione e teoria dei tipi | Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare |
Ingegneria del Software e verifica formale
Formal languages and automata theory |
Titolo | Data inizio |
---|---|
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) | 30/11/04 |
******** CSS e script comuni siti DOL - frase 9957 ********p>