Mathematical logic
A.A. 2019/2020
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: Secondo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento non può essere seguito come corso singolo. Puoi trovare gli insegnamenti disponibili consultando il catalogo corsi singoli.
Programma e organizzazione didattica
Edizione unica
Responsabile
Periodo
Secondo semestre
Programma
L'insegnamento presenta nel dettaglio alcune applicazioni della Logica all'Informatica, con lo scopo di introdurre alcuni strumenti derivati dalla Logica per risolvere problemi informatici.
· Breve introduzione alla logica proposizionale e predicativa.
· Problemi di soddisfacibilità (SAT).
· Diagrammi binari di decisione (OBDDs and ZDDs).
· Sintesi logica.
· Risoluzione e programmazione logica.
· Breve introduzione alla logica proposizionale e predicativa.
· Problemi di soddisfacibilità (SAT).
· Diagrammi binari di decisione (OBDDs and ZDDs).
· Sintesi logica.
· Risoluzione e programmazione logica.
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 (2nd edition), Springer, 2001.
· Lucidi ed altro materiale disponibile sul sito web del corso.
La pagina web dell'insegnamento è: https://vcirianiml.ariel.ctu.unimi.it
· Mordechai Ben-Ari. Mathematical Logic for Computer Science (2nd edition), Springer, 2001.
· Lucidi ed altro materiale disponibile sul sito web del corso.
La pagina web dell'insegnamento è: https://vcirianiml.ariel.ctu.unimi.it
Modalità di verifica dell’apprendimento e criteri di valutazione
L'esame è una prova scritta. La prova scritta richiede la soluzione di esercizi di tipo applicativo e teorico, aventi contenuti e difficoltà analoghi a quelli affrontati nelle lezioni. Durante lo scritto non è ammessa la consultazione di testi o appunti. I parametri di valutazione comprendono: la conoscenza degli argomenti del corso e la capacità di ragionamento logico. La valutazione è espressa in trentesimi. I risultati della prova saranno comunicati tramite il sistema di verbalizzazione via mail.
MAT/01 - LOGICA MATEMATICA - CFU: 6
Lezioni: 48 ore
Docente:
Ciriani Valentina
Turni:
-
Docente:
Ciriani ValentinaDocente/i
Ricevimento:
Su appuntamento via e-mail
Dipartimento di Informatica - Via Celoria 18 - 20135 - Milano (MI)