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.

  2. Programma del corso

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

  3. Orari delle lezioni

    4. L'orario di ricevimento del prof. Ghilardi è il venerdì mattina alle ore 11.30.

  4. Modalità d'esame

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

  5. Materiali didattici

    6. Si veda il sito Ariel sopra citato.

  6. Appelli d'esame

    7. Su appuntamento, con iscrizione al SIFA.

    Ultimo aggiornamento: 20/2/2017