back to search

Axiomatische Mengentheorie und ihre logischen Grundlagen

MA5075Elective Modules3 ECTSGermanUnregelmäßigDepartment Mathematics

This module is taught in German, so its description is only available in German.

AI-edited module sheet. Based on the TUMonline module description, edited for readability.Original in TUMonline

What it is about

Du lernst die Grundlagen der formalen Logik und der axiomatischen Mengentheorie (Zermelo-Fraenkel). Am Ende kannst du formale Sprachen und Beweise verstehen und Methoden der Modelltheorie anwenden sowie natürliche Zahlen, Ordinal- und Kardinalzahlen innerhalb des Mengenuniversums konstruieren und mit transfiniter Rekursion umgehen.

What you will be able to do

  • Formale Sprachen und Beweistechniken beherrschen
  • Methoden der mathematischen Modelltheorie anwenden
  • Konstruktion der natürlichen Zahlen innerhalb der ZF-Axiome
  • Umgang mit Ordinal- und Kardinalzahlen
  • Vertrautheit mit Klassen, kumulativer Hierarchie und transfiniter Rekursion
  • Einblick in natürliche/transitive Modelle und die Hierarchie konstruktibler Mengen

What the module consists of

  • VorlesungVermittlung der Inhalte durch Vortrag, Beispiele und Diskussion; dient als Grundlage für eigenständiges Studium

Teaching method

  • VorlesungErklärung der Inhalte im Vortrag, Veranschaulichung durch Beispiele und Diskussion zur Motivation für eigenständiges Arbeiten
No dates in the current semester
There are no course dates for this module this semester, or they haven't been matched yet.

Module ratings

No ratings for this module yet.

Rate this module

Only fill in the categories you can judge – for each one, either stars and text together or nothing at all.

Lecture
Tutorial
Exam

Reviews are automatically checked before they are published.

Official page in TUMonline · Details are not binding.