Diese Veranstaltung ist eine Einführung in die Grundbegriffe, die formale Sprache und die Methoden der Mathematik, am folgenden Themenaufbau entlang:
- Logik (Grundelemente der Sprache, Prädikatenlogik, Aussagenkalkül),
- Mengenlehre (Mengen, Mengenalgebra, mengentheoretische Logik),
- Relationen (mengentheoretische Relationen, Funktionen, Äquivalenz- und Ordnungsrelationen), (im Früjahressemester),
- Zahlen (mengentheoretische Konstruktion des Zahlenbegriffs), (im Früjahrssemester).
Zentrales Anliegen ist die mathematische Denkweise anhand ausgewählter Beispiele zu üben, insbesondere klare Begriffsbildung (Definieren) und logisches Schliessen (Beweisen).
Orientierung HS24
Semesterplan HS24
Einteilung Übungsgruppen