Obiettivi formativi
<br />Conoscenza dei primi elementi di Logica Matematica, con particolare attenzione ad un'applicazione didattica di tale disciplina.
Prerequisiti
- - -
Contenuti dell'insegnamento
<br />Linguaggi e strutture del primo ordine. Soddisfazione, verità, validità; conseguenza logica. Insufficienza della Logica proposizionale. Elementare equivalenza. Teorema di compattezza. Un'interessante applicazione didattica del teorema di compattezza: infiniti ed infinitesimi attuali; "calculus" via Analisi Non Standard.
Programma esteso
- - -
Bibliografia
<br />[1] C. C. CHANG, H. J. KEISLER, Teoria dei modelli, Boringhieri 1980.<br />[2] H. ENDERTON, A Mathematical Introduction to Logic, Academic Press 1972.<br />[3] H. J. KEISLER, Elementary Calculus. An Infinitesimal Approach, Prindle, Weber & Schmidt 1986. <br />[4] K. D. STROYAN, W. A. J. LUXEMBURG, Introduction to the Theory of Infinitesimal, Academic Press 1976.<br />
Metodi didattici
<br />Collabora al corso un altro docente. Vengono assegnati degli esercizi che poi sono corretti e discussi pubblicamente dagli studenti, sotto la guida di uno dei docenti del Corso, nelle ore dette ''di laboratorio''.
Modalità verifica apprendimento
- - -
Altre informazioni
- - -