Anno accademico 2007/2008 - lauree triennali

[ELENCO COMPLETO]
  1. Laboratorio di elettronica.
  2. Laboratorio di fisica (1° - 2° - 3° unità).
  3. Laboratorio di fisica ambientale e terrestre.
  4. Laboratorio di fisica moderna.
  5. Laboratorio di fondamenti dell’informatica.
  6. Laboratorio di optoelettronica.
  7. Laboratorio di ottica.
  8. Laboratorio di sistemi operativi.
  9. Logica e teoria degli insiemi.
  10. Matematica finanziaria.
  11. Meccanica analitica.
  12. Meccanica quantistica.
  13. Meccanica razionale.
  14. Metodi computazionali della fisica.
  15. Metodi e modelli matematici per le applicazioni.
  16. Metodi matematici della fisica 1.
  17. Metodi matematici della fisica 2.

63. Logica e teoria degli insiemi

prof. Marco Degiovanni


OBIETTIVO DEL CORSO

Far acquisire allo studente le nozioni basilari della teoria degli insiemi secondo Zermelo-
Fraenkel.

PROGRAMMA DEL CORSO

– Teoria assiomatica degli insiemi secondo Zermelo-Fraenkel. Il lemma di Zorn. L’insieme
dei cardinali finiti. Teorema di ricorsione. Assiomi di Peano e prime conseguenze.
– Numeri naturali. Costruzione dell’insieme dei numeri reali.

BIBLIOGRAFIA

p r. halmos, Teoria elementare degli insiemi, Feltrinelli, Milano, 1976.
.
g. lolli, Introduzione alla logica formale, Il Mulino, Bologna, 1991.
g. lolli, Teoria assiomatica degli insiemi, Boringhieri, Torino, 1974.
p suppes, Axiomatic set theory, Van Nostrand Co., New York, 1969.
.
p suppes, Introduction to logic, Van Nostrand Co., New York, 1957.
.
Verranno inoltre distribuite delle dispense sui vari argomenti del corso.

DIDATTICA DEL CORSO
Lezioni ed esercitazioni in aula.

METODO DI VALUTAZIONE
Esame orale.

AVVERTENZE
Il Prof. Marco Degiovanni riceve gli studenti il lunedì, dalle ore 10.00 alle 13.00.



[ Facoltà di Scienze ]