Mathematical logic
A.A. 2020/2021
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
Metodi didattici e modalità di erogazione
Saranno disponibili lezioni asincrone (power point con commento audio), organizzate per coprire gli argomenti di ogni lezione dell'insegnamento. Le lezioni registrate saranno rese disponibili settimanalmente sulla piattaforma Ariel dell'insegnamento. Inoltre, negli orari previsti per l'insegnamento, saranno organizzati alcuni incontri sincroni periodici con gli studenti, utilizzando la piattaforma Zoom, al fine di svolgere esercizi, fornire chiarimenti ed approfondimenti e rispondere alle domande degli studenti. Gli incontri sincroni saranno registrati e resi disponibili su Ariel.
Programma e materiale di riferimento
Il programma del corso è invariato. I materiali di riferimento sono invariati. Tutto il materiale didattico di supporto sarà disponibile sempre attraverso la piattaforma Ariel.
Modalità di verifica dell'apprendimento e criteri di valutazione
Gli esami a distanza saranno svolti con l'utilizzo della piattaforma exam.net, con le modalità illustrate sul portale dell'Ateneo. La prova scritta avrà una durata ridotta a circa 60 minuti.
Saranno disponibili lezioni asincrone (power point con commento audio), organizzate per coprire gli argomenti di ogni lezione dell'insegnamento. Le lezioni registrate saranno rese disponibili settimanalmente sulla piattaforma Ariel dell'insegnamento. Inoltre, negli orari previsti per l'insegnamento, saranno organizzati alcuni incontri sincroni periodici con gli studenti, utilizzando la piattaforma Zoom, al fine di svolgere esercizi, fornire chiarimenti ed approfondimenti e rispondere alle domande degli studenti. Gli incontri sincroni saranno registrati e resi disponibili su Ariel.
Programma e materiale di riferimento
Il programma del corso è invariato. I materiali di riferimento sono invariati. Tutto il materiale didattico di supporto sarà disponibile sempre attraverso la piattaforma Ariel.
Modalità di verifica dell'apprendimento e criteri di valutazione
Gli esami a distanza saranno svolti con l'utilizzo della piattaforma exam.net, con le modalità illustrate sul portale dell'Ateneo. La prova scritta avrà una durata ridotta a circa 60 minuti.
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.
Siti didattici
Docente/i
Ricevimento:
Su appuntamento via e-mail
Dipartimento di Informatica - Via Celoria 18 - 20135 - Milano (MI)