Gianluigi Bellin

  1. Home
  2. Department
  3. People
  4. Gianluigi Bellin
Foto, March 15, 2016
E-mail
gianluigi|bellin*univr|it <== Replace | with . and * with @ to have the right email address.
Not present since
December 31, 2016
Position
Research Assistants

Modules

Modules running in the period selected: 19.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Mathematics Mathematical logic (2013/2014)   6    6 
Bachelor's degree in Biotechnology Philosophy of Science (2013/2014)   6    6 
Master's degree in Mathematics Mathematics methods for computer science (2012/2013)   6    3  (Parte 2)
Bachelor's degree in Biotechnology Philosophy of Science (2012/2013)   6    6 
Master's degree in Mathematics Mathematics methods for computer science (2011/2012)   6    3  (Parte 2)
Bachelor's degree in Biotechnology Philosophy of Science (2011/2012)   6    6 
Bachelor's degree in Biotechnology Philosophy of Science (2010/2011)   6    6 
Master's degree in Computer Science and Engineering Foundations of Computing (2009/2010)   12    4  LOGICA COMPUTAZIONALE
Bachelor's degree in Biotechnology Philosophy of Science (2009/2010)   6    6 
Masters in Computer Science computational logic (2008/2009)   5    5 
Masters in Computer Science computational logic (2007/2008)   5    5 
Masters in Computer Science Automated Deduction (2005/2006)   5    5 
Masters in Computer Science Logic II (2004/2005)   5     
Masters in Computer Science Automated Deduction (2003/2004)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Basic Mathematics (2003/2004)   4     
Masters in Computer Science Automated Deduction (2002/2003)   5     
Bachelor in Computer Science (old system) Automated Deduction (2001/2002)   1     
Bachelor in Computer Science (old system) Artificial Intelligence (1999/2000)   1     
Bachelor in Computer Science (old system) Foundations of Computing: Computational Complexity (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.

Research groups

Logica
Logica in matematica ed informatica.
Research interests
Topic Description Research area
General logic Algebra, Geometry, and Mathematical Logic
Mathematical logic and foundations
Projects
Title Starting date
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) 11/30/04




Organization

Department facilities

Share