Obiettivi formativi
Apprendimento delle nozioni basilari di Logica predicativa del 1° ordine
Contenuti dell'insegnamento
<br />Un calcolo dei sequent per la logica proposizionale classica. Linguaggi del primo ordine e deduzione naturale predicativa. <br />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
<br />[1] H. Enderton, A Mathematical Introduction to Logic, Academic Press 1972.<br />[2] W. S. HATCHER, Fondamenti della matematica, Boringhieri 1973.<br />[3] E. Mendelson, Introduzione alla logica matematica, Boringhieri 1972.<br />[4] C. Reggiani & M. Servi, Lezioni di Logica Matematica, 1, Libreria S. Croce 2002.<br /> <br /> <br />
Metodi didattici
Lezioni orali più assegnazione di esercizi da svolgere che poi verranno corretti nelle ore di laboratorio dagli studenti a turno