Docente
|
Bernardi Claudio
(programma)
I linguaggi logici: connettivi, quantificatori e le loro proprietà.
Una teoria per il calcolo delle proposizioni. Tautologie e teoremi. Teorema di deduzione e teorema di completezza. Una teoria per il calcolo dei predicati. Formule vere e formule valide. Lemma di Lindenbaum, teorema di esistenza del modello e teorema di completezza. Cenni di teoria delle funzioni ricorsive; insiemi r.e. ed insiemi decidibili. L'aritmetica di Peano e i teoremi di indecidibilità; in particolare, primo e secondo teorema di Gödel.
Analisi di ragionamenti nelle matematiche elementari; discussioni sul ruolo della logica nell'insegnamento della matematica, con riferimento a diverse metodologie didattiche. Legami fra logica matematica, linguaggio, filosofia, informatica, a livello teorico e a livello didattico.
M. Borga, Elementi di logica matematica, La Goliardica
E. Mendelson, Introduction to Mathematical Logic, V edition, Chapman&Hall 2010
Appunti per l'ultima parte del programma.
|