Corso di Metodi per il Ragionamento Automatico

Prof. Silvio Ghilardi

Laurea Magistrale in Matematica - a.a. 2021/2022


AVVISI:

Il Corso si terrà nel secondo semestre.

È stato aperto un sito sulla piattaforma Ariel all'indirizzo raggiungibile da qui. Il sito verrà man mano aggiornato nei tempi dovuti e conterrà dispense, notizie, link a strumenti software e materiale aggiuntivo.

Quest'anno il corso verrà erogato in presenza, con streaming tramite la piattaforma Microsoft Teams. Gli studenti potranno accedere allo streaming utilizzando il codice che verà segnalato sulla piattaforma Ariel, nella sezione "Bacheca". La frequenza fisica è altamente consigliata, anche e soprattutto in vista delle attività di laboratorio. Agli studenti non frequentanti sarà richiesta la consegna di due progetti per accedere all'orale.

Chiedo agli studenti interessati al corso di mandarmi una email all'indirizzo silvio.ghilardi@unimi.it, in modo da poter costruire una lista dei frequentanti.


Caratteristiche del corso | Programma del corso | Orari | Modalità d'esame | Materiali didattici | Appelli d'esame
Ultimo aggiornamento: 17/2/2022