Scheda programma d'esame
ELEMENTI DI TEORIA DEGLI INSIEMI
MARCELLO MAMINO
Anno accademico2020/21
CdSMATEMATICA
Codice053AA
CFU6
PeriodoSecondo semestre
LinguaItaliano

ModuliSettore/iTipoOreDocente/i
ELEMENTI DI TEORIA DEGLI INSIEMIMAT/01LEZIONI60
MARCELLO MAMINO unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

Al termine del corso, lo studente avra' acquisito familiarita' con la teoria degli insiemi nella formalizzazione assiomatica di Zermelo-Fraenkel con l'assioma della scelta (ZFC). Lo studente sara' in grado di manipolare con sicurezza strumenti stanard della teoria degli insiemi quali l'aritmetica cardinale ed ordinale, e l'induzione transfinita.

Knowledge

The student who successfully completes the course will be aquainted with the Zermelo-Fraenkel axiomatic system ZFC for set theory with the axiom of choice and with how ZFC may serve as a formalization of mathematics. The student will be able to demonstrate a solid knowledge of standard set-theoretical tools such as cardinal and ordinal arithmetic and transfinite induction.

Modalità di verifica delle conoscenze

Si valuta l'abilita' dello studente di discutere gli argomenti trattati nel corso con proprieta' di contenuto tecnico e linguaggio. Durante la prova orale, lo studente deve dimostrare conoscenza del materiale del corso e correttezza di espressione. Durante lo scritto (2 ore, 4 esercizi) lo studente deve dimostrare conoscenza del materiale del corso e l'abilita' di risolvere gli esercizi proposti.

Metodi: esame scritto + esame orale.

Assessment criteria of knowledge

Assesment evaluates the student's ability to discuss the main course contents using the appropriate terminology. During the oral exam the student must be able to demonstrate knowledge of the course material and to demonstrate propriety of expression. In the written exam (2 hours, 4 problems), the student must demonstrate knowledge of the course material and ability to solve the proposed problems.

Methods:

  • Final written exam
  • Final oral exam
Indicazioni metodologiche

Metodologia: lezioni frontali (online a causa delle restrizioni imposte dalla pandemia di covid19)

Studio: frequenza delle lezioni, studio individuale.

Frequenza: suggerita.

Teaching methods

Delivery: face to face (online due to covid19 restrictions)

Learning activities:

  • attending lectures
  • individual study

Attendance: Advised

Teaching methods:

  • Lectures
Programma (contenuti dell'insegnamento)

Teoria assiomatica di Zermelo-Fraenkel con l'assioma della scelta. Formalizzazione dei fondamenti della matematica. Formulazioni equivalenti dell'assioma della scelta. Aritmetica dei numeri cardinali e ordinali. Cenni sui modelli di ZFC.

Syllabus

Zermelo-Fraenkel axiomatic set theory with axiom of choice. Formalization of mathematics. Equivalent formulations of the axiom of choice. Cardinal numbers. Well-orderings and ordinal numbers. Cardinal and ordinal algebras. Natural models.

Bibliografia e materiale didattico

Hrbacek-Jech, Introduction to Set Theory. Ulteriori testi suggeriti: Stoll, Set Theory and Logic; Kunen, Set Theory; Jech, Set Theory; Levy, Basic Set Theory

Bibliography

Hrbacek-Jech, Introduction to Set Theory. Recommended readings: Stoll, Set Theory and Logic; Kunen, Set Theory; Jech, Set Theory; Levy, Basic Set Theory

Assessment methods

Final written exam. Final oral exam.

Note

Link all'aula virtuale su Microsoft Teams:

https://teams.microsoft.com/l/team/19%3a57dedfff4bad40209dce57dc608ce962%40thread.tacv2/conversations?groupId=69fdcf34-790c-42da-813b-289472172fd7&tenantId=c7456b31-a220-47f5-be52-473828670aa1

Notes

Link to virtual classroom on Microsoft Teams:

https://teams.microsoft.com/l/team/19%3a57dedfff4bad40209dce57dc608ce962%40thread.tacv2/conversations?groupId=69fdcf34-790c-42da-813b-289472172fd7&tenantId=c7456b31-a220-47f5-be52-473828670aa1

Ultimo aggiornamento 24/02/2021 16:58