Gianluigi Bellin

Foto,  15 marzo 2016
E-mail
gianluigi|bellin*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Non presente dal
31 dicembre 2016
Note
 

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 19.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Biotecnologie Filosofia della scienza (2013/2014)   6   
Laurea magistrale in Mathematics Mathematical logic (2013/2014)   6   
Laurea in Biotecnologie Filosofia della scienza (2012/2013)   6   
Laurea magistrale in Mathematics Metodi matematici per l'informatica (2012/2013)   6    (Parte 2)
Laurea in Biotecnologie Filosofia della scienza (2011/2012)   6  eLearning
Laurea magistrale in Mathematics Metodi matematici per l'informatica (2011/2012)   6    (Parte 2)
Laurea in Biotecnologie Filosofia della scienza (2010/2011)   6  eLearning
Laurea in Biotecnologie Filosofia della scienza (2009/2010)   6   
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2009/2010)   12    LOGICA COMPUTAZIONALE
Laurea specialistica in Informatica Logica computazionale (2008/2009)   5   
Laurea specialistica in Informatica Logica computazionale (2007/2008)   5   
Laurea specialistica in Informatica Deduzione automatica (2005/2006)   5   
Laurea specialistica in Informatica Logica II (2004/2005)   5     
Laurea specialistica in Informatica Deduzione automatica (2003/2004)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Matematica di base (2003/2004)   4     
Laurea specialistica in Informatica Deduzione automatica (2002/2003)   5     
Laurea in Informatica (vecchio ordinamento) Deduzione automatica (2001/2002)   1     
Laurea in Informatica (vecchio ordinamento) Fondamenti dell'informatica: complessità (1999/2000)   1     
Laurea in Informatica (vecchio ordinamento) Intelligenza artificiale (1999/2000)   1     

 

Gruppi di ricerca

Logica
Logica in matematica ed informatica.
Competenze
Argomento Descrizione Area di ricerca
General logic Matematica discreta e computazionale
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. Matematica discreta e computazionale
Mathematical logic and foundations - -
Teoria della dimostrazione e teoria dei tipi Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare Informatica teorica
Theory of computation - Formal languages and automata theory
Progetti
Titolo Data inizio
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) 30/11/04





Organizzazione

Strutture del dipartimento