Ricevimento: Su appuntamento.

Anno Accademico 2016-2017




Logica Matematica (magistrale)


Turno unico. Primo semestre.

Scheda del corso     Pagina del corso





Metodi Formali


Turno unico. Primo semestre.

Scheda del corso     Pagina del corso



Logica (triennale)


Turno unico. Secondo semestre.

Scheda del corso     Pagina del corso





Laboratorio di Logica


Turno B. Secondo semestre.

Scheda del corso     Pagina del corso





  •    Anni Accademici 2000-2017
    • Logica Matematica (magistrale)

      Anni accademici 2013-2104, 2014-2015, 2015-2016, 2016-2017. Turno unico.
    • Laboratorio di Logica

      Anno accademico 2014-2015. Turno M-Z.
      Anno accademico 2015-2016. Turno F-M, Turno M-Z.
      Anno accademico 2016-2017. Turno F-O.
    • Laboratorio di Algoritmi e Strutture Dati

      Anni accademici 2001-2002, 2002-2003, 2003-2004, 2004-2005, 2005-2006. Turno 1.
      Anno accademico 2006-2007, 2007-2008, 2008-2009, 2009-2010, 2011-2012, 2012-2013. Turno 2 e serale.
    • Complementi di Logica.

      Anni accademici 2014-2015, 2015-2016. Turno unico.
    • Logica Fuzzy

      Anni accademici 2005-2006, 2006-2007, 2007-2008, 2008-2009, 2009-2010, 2011-2012, 2012-2013, 2013-2014. Turno unico.
    • Metodi per il Ragionamento Automatico I

      Anno accademico 2003-2004, 2004-2005. Turno unico.
    • Metodi per il Ragionamento Automatico II

      Anno accademico 2003-2004, Turno unico.
    • Metodi per il Ragionamento Automatico

      Anno accademico 2002-2003, Turno unico.
  •    Corsi di Servizio
    • Informatica

      presso il Corso di Laurea per Igienista Dentale della Facoltà di Medicina e Chirurgia. Anno accademico 2002-2003.
    • Laboratorio di Algoritmi e Strutture Dati

      Anno accademico 2001-2002. Turno 2. (Sostituzione del Prof. Provetti in trasferimento ad altra sede, corso poi assegnato al Dott. Fiorentini)
    • Programmazione II

      Anno accademico 2000-2001. Parte del corso relativa al linguaggio C++.