Didattica integrativa
Esercitazioni
Modalità d'esame
Prova orale
Prerequisiti
Nessun prerequisito. Il corso si consiglia agli allievi dei primi anni.
Programma del corso
Il corso si propone d'introdurre, anche in chiave filosofica, i concetti e i metodi fondamentali della logica contemporanea, nonché i suoi principali risultati sintattici e semantici. Nessuna conoscenza previa di logica è richiesta da parte dell’allievo.
Riferimenti bibliografici
Dispense.
Testi indicati a lezione.