Mathematical logic

A.A. 2022/2023
6
Crediti massimi
48
Ore totali
SSD
MAT/01
Lingua
Inglese
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.
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.
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.

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.
MAT/01 - LOGICA MATEMATICA - CFU: 6
Lezioni: 48 ore
Siti didattici
Docente/i
Ricevimento:
su appuntamento
stanza 4010 via Celoria 18