Interaktiver Kurs
Von Definitionen zu ausführbarer Arithmetik¶
Wir ordnen jede mathematische Definition ihrer Datenrepräsentation und Python-Implementierung zu, statt nur Ergebnisse zu zeigen.
Ausgangspunkt
Variablen, Funktionen, Klassen und Bedingungen in Python werden vorausgesetzt. Spezielle Methoden, Dekoratoren und Dataclasses erklären wir dort, wo sie nötig sind.
So arbeiten Sie mit dem Kurs¶
Jedes Kapitel beginnt mit der Definition, liest den echten Code und fordert eine Vorhersage. Führen Sie ihn erst danach aus.
Mathematische Definition
Trennen Sie zuerst Axiome von den darauf aufbauenden Definitionen.
Datenrepräsentation
Bestimmen Sie, wie das mathematische Objekt in Python gespeichert wird.
Python-Implementierung
Ordnen Sie jeden Definitionsfall einem Zweig der echten Methode zu.
Kapitel¶
- 00 · Für den Kurs nötige Python-Mechanismen
- 01 · Natürliche Zahlen: Null, Nachfolger und Rekursion
- 02 · Ganze Zahlen: Repräsentanten und Äquivalenz
- 03 · Rationale Zahlen: Kreuzprodukte und Kürzung
- 04 · Polynome: Koeffizienten und Sturm-Folgen
- 05 · Reelle algebraische Wurzeln: Isolation und Bisektion
Am Ende können Sie eine Ablaufspur aus Axiomen und Code begründen, statt nur ihre Ausgabe zu wiederholen.