Mathematical logic

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