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 MA.S410 HS2023
Syllabus MA.S410 HS2023
Semesterplan MA.S410 HS2023