MATEMATICHE ELEMEN.DA UN PUNTO DI VISTA SUP.
cod. 00681

Anno accademico 2008/09
1° anno di corso - Secondo semestre
Docente
Settore scientifico disciplinare
Matematiche complementari (MAT/04)
Field
Formazione logica e fondazionale
Tipologia attività formativa
Caratterizzante
48 ore
di attività frontali
6 crediti
sede:
insegnamento
in - - -

Obiettivi formativi

Conoscenza dei primi elementi di una teoria assiomatica degli insiemi, nella quale sviluppare poi l'Aritmetica (secondo Peano).

Prerequisiti

No

Contenuti dell'insegnamento

Teoria degli insiemi alla Halmos. Numeri naturali alla Peano, Teoremi di Induzione, Teoremi di ricorsione; Assioma di Peano-Lawere. Numeri naturali come cardinali finiti. La Teoria degli insiemi di Morse-Kelly-Mostowski.  

Programma esteso

- - -

Bibliografia

<p> </p>
<p> </p>
<p>[1] P.R. HALMOS, Naïve Set Theory, Springer 1974.</p>
<p>[2] W.S. HATCHER, Fondamenti della Matematica, Boringhieri 1973.</p>
<p>[3] J.D. MONK, Introduzione alla Teoria degli insiemi, Boringhieri 1977.</p>
<p>[4] W. JUST, M. WEESE, Discovering modern set theory, AMS 1996 </p>

Metodi didattici

- - -

Modalità verifica apprendimento

- - -

Altre informazioni

- - -