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
Qualifica
Incaricato alla ricerca

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   
Laurea magistrale in Mathematics Metodi matematici per l'informatica (2011/2012)   6    (Parte 2)
Laurea in Biotecnologie Filosofia della scienza (2010/2011)   6   
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     

Per la comunità studentesca

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.

MyUnivr
 

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
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