Ricevimento: Su appuntamento.

Anno Accademico 2021-2022




Mathematical Logic (magistrale)


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 A. Secondo semestre.

Scheda del corso     Pagina del corso





Laboratorio di Logica


Turno C. Secondo semestre.

Scheda del corso     Pagina del corso





  •    Anni Accademici 2000-2021

    • Logica Matematica (magistrale)

      Anni accademici 2013-2104, 2014-2015, 2015-2016, 2016-2017, 2017-2018, 2018-2019, 2019-2020, 2020-2021. Turno unico.

    • Logica (triennale)

      Anni accademici 2016-2017, 2017-2018, 2018-2019, 2019-2020, 2020-2021. Turno unico.

    • Laboratorio di Logica

      Anno accademico 2014-2015, Turno M-Z.
      Anno accademico 2015-2016. Turno F-M, Turno M-Z.
      Anni accademici 2016-2017, 2017-2018, 2018-2019. Turno F-O.
      Anno accademico 2019-2020, 2020-2021. Turno A-E, Turno P-Z.

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

    • Metodi Formali

      Anni accademici 2017-2018, 2018-2019, 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++.