- Home
- Didattica
- I corsi di studio
- Corsi di laurea
LOGICA MATEMATICA I
Obiettivi formativi
Apprendimento delle nozioni basilari di Logica predicativa del 1° ordine
Contenuti dell'insegnamento
Un calcolo dei sequent per la logica proposizionale classica. Linguaggi del primo ordine e deduzione naturale predicativa.
Semantica. Insiemi non contraddittori e insiemi soddisfacibili di formule. Varie formulazioni equivalenti del teorema di completezza e i vari metateoremi classici come suoi corollari.
Bibliografia
[1] H. Enderton, A Mathematical Introduction to Logic, Academic Press 1972.
[2] W. S. HATCHER, Fondamenti della matematica, Boringhieri 1973.
[3] E. Mendelson, Introduzione alla logica matematica, Boringhieri 1972.
[4] C. Reggiani & M. Servi, Lezioni di Logica Matematica, 1, Libreria S. Croce 2002.
Metodi didattici
Lezioni orali più assegnazione di esercizi da svolgere che poi verranno corretti nelle ore di laboratorio dagli studenti a turno
Altri insegnamenti
ANNO DI CORSO: 1
ANNO DI CORSO: 2
ANNO DI CORSO: 3

