Mathematical logic
A.A. 2023/2024
Obiettivi formativi
L'insegnamento ha lo scopo principale di fornire le
conoscenze di base e le capacità di ragionamento proprie della Logica Matematica e di introdurre alcune applicazioni della Logica all'Informatica.
conoscenze di base e le capacità di ragionamento proprie della Logica Matematica e di introdurre alcune applicazioni della Logica all'Informatica.
Risultati apprendimento attesi
Lo studente dovrà aver acquisito la capacità di modellare e risolvere semplici problemi logici con gli strumenti e le tecniche presentati nell'insegnamento. Inoltre, sarà in grado di poter applicare gli strumenti della Logica alla risoluzione di specifici problemi nell'ambito informatico.
Periodo: Primo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento può essere seguito come corso singolo.
Programma e organizzazione didattica
Edizione unica
Responsabile
Periodo
Primo semestre
Le lezioni saranno erogate in streaming, e saranno rese disponibili le registrazioni.
Programma
L'insegnamento fornisce un approfondimento teorico delle tecniche di deduzione automatica nella logica predicativa, ed altre applicazioni all'informatica
Prerequisiti
Nessuno.
Metodi didattici
Lezioni frontali.
Materiale di riferimento
· Michael Huth , Mark Ryan. Logic in Computer Science: modelling and reasoning about systems (2nd edition), Cambridge University Press, 2004.
· Mordechai Ben-Ari: Mathematical Logic for Computer Science, 3rd Edition. Springer, 2012.
Sito web dell'insegnamento: https://homes.di.unimi.it/aguzzoli/mathlogic.html
· Mordechai Ben-Ari: Mathematical Logic for Computer Science, 3rd Edition. Springer, 2012.
Sito web dell'insegnamento: https://homes.di.unimi.it/aguzzoli/mathlogic.html
Modalità di verifica dell’apprendimento e criteri di valutazione
L'esame è una prova orale. Durante lo scritto non è ammessa la consultazione di testi o appunti. I parametri di valutazione comprendono: la conoscenza degli argomenti dell'insegnamento e la capacità di ragionamento logico. La valutazione è espressa in trentesimi.
Siti didattici
Docente/i