Anno accademico 2009/2010 - lauree triennali

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

59. 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. Degiovanni riceve gli studenti in studio il lunedì dalle ore 10,00 alle ore 12,00 e il giovedì
dalle ore 8,00 alle 9,00.


[ Facoltà di Scienze ]