Gianluigi Bellin

  1. Home
  2. Dipartimento
  3. Persone
  4. 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 [L-2] Filosofia della scienza (2013/2014)   6    6 
Laurea magistrale in Mathematics [LM-40] Mathematical logic (2013/2014)   6    6 
Laurea in Biotecnologie [L-2] Filosofia della scienza (2012/2013)   6    6 
Laurea magistrale in Mathematics [LM-40] Metodi matematici per l'informatica (2012/2013)   6    3  (Parte 2)
Laurea in Biotecnologie [L-2] Filosofia della scienza (2011/2012)   6    6 
Laurea magistrale in Mathematics [LM-40] Metodi matematici per l'informatica (2011/2012)   6    3  (Parte 2)
Laurea in Biotecnologie [L-2] Filosofia della scienza (2010/2011)   6    6 
Laurea in Biotecnologie [L-2] Filosofia della scienza (2009/2010)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Fondamenti (2009/2010)   12    4  LOGICA COMPUTAZIONALE
Laurea specialistica in Informatica Logica computazionale (2008/2009)   5    5 
Laurea specialistica in Informatica Logica computazionale (2007/2008)   5    5 
Laurea specialistica in Informatica Deduzione automatica (2005/2006)   5    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     

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

Gruppi di ricerca

Logica
Logica in matematica ed informatica.
Competenze
Argomento Descrizione Area di ricerca
General logic Algebra, Geometria e Logica Matematica
Mathematical logic and foundations
Progetti
Titolo Data inizio
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) 30/11/04




Organizzazione

Strutture del dipartimento

Condividi