VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.
Proofs and Basic Structures
Beweise und Grundstrukturen
Last Updated: 2026-02-05 15:54:09
Content
Axiomatische Mengenlehre und mathematische Logik bilden die Fundamente, auf denen unser Fach aufgebaut ist. Der Kurs beginnt mit einer Einführung in die Zermelo-Fraenkel-Mengenlehre. Nebenbei werden wir beweisen, dass Zahlen (!) existieren - zuerst die natürlichen Zahlen, dann die reellen Zahlen und schliesslich andere "grosse" Kardinalzahlen. Wir diskutieren die Implikationen des Auswahlaxioms und der berühmten Kontinuumshypothese. Sobald die grundlegenden Strukturen fest etabliert sind, gehen wir zur "Kunst des Beweises" über. Das Ziel ist es, Ihnen zu helfen, Beweise zu verstehen und zu konstruieren, und zu lernen, klare und prägnante Mathematik zu schreiben. Ein wahres Ensemble von Themen aus der Kombinatorik, Algebra und Zahlentheorie (wenn es die Zeit erlaubt) wird vorgestellt - diese Themen sind so gewählt, dass sie gute Beispiele zur Veranschaulichung einer Reihe grundlegender Beweismethoden liefern und fundamentale Ideen vorstellen, die Teil des Standard-Toolkits eines jeden Mathematikers sind. Als besonderes Highlight werden wir eine Auswahl der grössten klassischen Beweise aller Zeiten sehen.
Resources
Lecture Notes
Vollständige Vorlesungsnotizen werden zur Verfügung gestellt.
Learning Materials (Links)
- Main link
- Information
General Information
- Language
- German
- Levels
- BSC
Examination
- Type
- end-of-semester examination
- Mode
- written 90 minutes
- Aids
- Keine / None
Course Components
| Type | Title | Time & Place | Hours |
|---|---|---|---|
| lecture |
Beweise und Grundstrukturen
Vorlesung zumindest im Februar und März online via Zoom.
|
|
2 h weekly |
| exercise |
Beweise und Grundstrukturen
Groups are selected in myStudies.
Findet sicher bis Ostern online statt.
|
|
1 h weekly |