Fähig sein, mathematische Notation zu verstehen und zu verwenden.
Im Stande sein, über mathematische Gegenstände und Sachverhalte zu kommunizieren.
Logisches Denken und Abstraktionsfähigkeit trainiert haben.
Mit den für die Informatik wichtigen Grundlagen der Mengentheorie, Logik und Algebra vertraut sein, die elementaren Resultate aus diesen Gebieten kennen und sie anwenden können.
In der Lage sein, einfache Beweise selbständig durchzuführen.
Lerninhalte
(1) “Bestiarium mathematicum”
Mengen, Abbildungen
Spiele (Chomp, Hex)
Graphen (Kreise, Wege, Bäume, Matchings).
Zahlsysteme; Ordinal- und Kardinalzahlen, Restklassen.
(2) Denken
Relationen, Ordnungen
Elementare Aussagenlogik
Deduktion, die axiomatische Methode
Widerspruch, Kontraposition, Rekursion
Vollständige Induktion
(3) Abzählen
Endliche Mengen, Permutationen.
“The Twelvefold Way”
Bemerkenswerte Zahlfolgen (Binomialkoeffizienten, Catalanzahlen, …) mit verschiedene Interpretationen.