LOGICA MATEMATICA D
cod. 14878

Anno accademico 2009/10
3° anno di corso - Primo semestre
Docente
Settore scientifico disciplinare
Logica matematica (MAT/01)
Field
A scelta dello studente
Tipologia attività formativa
A scelta dello studente
60 ore
di attività frontali
6 crediti
sede: PARMA
insegnamento
in - - -

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

- - -