Programma

Il Programma d'esame è diviso in due parti: la prima parte (denominata Traccia A) è di tipo introduttivo ed è unica per tutti; per la seconda parte, lo studente dovrà scegliere fra tre possibilità (denominate Traccia B1, Traccia B2, Traccia B3). Tutte le tracce sono coperte integralmente da dispense in formato elettronico scaricabili da questo sito e sono altresì coperte quasi integralmente da videolezioni registrate a disposizione degli studenti dell'Università degli Studi di Milano.

La traccia B1 comprende gli argomenti di ragionamento automatico svolti nelle passate edizioni del corso (ordinamenti, vincoli di massimalità sui letterali, paramodulazione e sovrapposizione).
La traccia B2 sviluppa i tratti essenziali delle logiche descrittive e si rivolge a studenti con interessi prevalenti nel settore delle basi di dati, delle ontologie e del web semantico.
La traccia B3 riguarda invece strumenti di model-checking simbolico utilizzabili nell'ambito della verifica del comportamento di sistemi reattivi e concorrenti.

Lo studente potrà utilizzare il contenuto di tracce non scelte per la preparazione di questo esame a copertura parziale del programma di logica 2 o di un recupero crediti in area logico-matematica (in tal caso, si prega di contattare il docente per personalizzare la necessaria integrazione).

Le lezioni relative alla Traccia A si svolgeranno in linea di massima in ottobre-novembre, quelle relative alle tracce B1-B2 in dicembre-gennaio (in giorni distinti), mentre quelle relative alla Traccia B3 si terranno all'interno del corso di Logica 2. Per maggiori dettagli su ciascuna delle tracce, fare click sui link sottostanti.

Traccia A | Traccia B1 | Traccia B2 | Traccia B3 |