Mathematical logic
A.A. 2024/2025
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
Siti didattici
Docente/i