Corso di Metodi per il Ragionamento Automatico

Prof. Silvio Ghilardi

Laurea Magistrale in Matematica - a.a. 2016/2017


AVVISI:

Il Corso si tiene nel secondo semestre. È stato aperto un sito sulla piattaforma Ariel all'indirizzo raggiungibile da qui. Il sito contiene dispense, notizie, link a strumenti software e materiale aggiuntivo.

Il corso inizierà regolarmente lunedì 27 febbraio, in aula 2, alle 15.30.


Caratteristiche del corso | Programma del corso | Orari | Modalità d'esame | Materiali didattici | Appelli d'esame

  1. Caratteristiche del corso
  2. Il corso si propone di sviluppare le principali tecniche di ragionamento automatico, basate sia su metodi di saturazione e completamento, che su metodi di backtracking. Lo studente verrà introdotto all'utilizzo di alcuni strumenti quali superposition provers, SAT- e SMT-solvers, model finders, model-checkers. Sono previsti sbocchi applicativi sia verso l'algebra computazionale che verso la verifica di sistemi informatici.


  3. Programma del corso
  4. Il programma definitivo verrà reso noto a fine corso; per dettagli si faccia fin da ora riferimento al sito Ariel.

  5. Orari delle lezioni
  6. L'orario di ricevimento del prof. Ghilardi è il venerdì mattina alle ore 11.30.


  7. Modalità d'esame
  8. L'esame sarà costitutito da un colloquio. Sarà possibile concordare in tutto o in parte un programma specifico a fronte di esigenze particolari.


  9. Materiali didattici
  10. Si veda il sito Ariel sopra citato.


  11. Appelli d'esame
  12. Su appuntamento, con iscrizione al SIFA.

    Ultimo aggiornamento: 20/2/2017