Anno accademico 2006/2007 - lauree triennali

[ELENCO COMPLETO]
  1. Laboratorio di fisica (1°, 2° 3° unità).
  2. Laboratorio di fisica ambientale e terrestre.
  3. Laboratorio di fisica moderna.
  4. Laboratorio di fondamenti dell´informatica.
  5. Laboratorio di optoelettronica 1.
  6. Laboratorio di optoelettronica 2.
  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.

67. 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 giovedì, dalle ore 10.00
alle 13.00.


[ Facoltà di Scienze ]