Home | Portal | Plotter | Literatur | Links

Mathematik

Kurven | Flächen | Spickzettel | Strukturen | Errata

Schriften:

1. Vom Gefüge des Denkens
2. Formelsammlung Mathematik
3. Beweisarchiv
4. Extremwertprobleme
5. Gaußsche Summenformel
6. Kommutative Diagramme
7. Gruppentheorie-Einführung
8. Der mathematische Werkzeugkasten
9. Kombinatorik-Einführung
10. Geraden
11. Die Ableitung bei beliebigen Objekten
12. Empfehlungen zum math. Sprachgebrauch
13. Differentialgleichungen
14. Vorbereitung auf das Mathematik-Studium
15. Aufzeichnungen
16. Aufgaben
17. Rechnen
18. Rotation mittels Clifford-Algebra

Folien:

1. Was ist ein Vektor?
2. Was ist eine lineare Abbildung?
3. Was ist ein Basiswechsel?
4. Was ist eine Darstellungsmatrix?
5. Was ist Ableiten? (Teil 1)
6. Was ist Ableiten? (Teil 2)
7. Was ist Wahrscheinlichkeit?
8. Lineare gewöhnliche Dgln.
9. Natürliches Schließen (Teil 1: Aussagenlogik)
10. Natürliches Schließen (Teil 2: Prädikatenlogik)
11. Natürliches Schließen (Teil 3: Theorien mit Gleichheit)
12. Natürliches Schließen (Teil 4: Programme als Beweise)
13. Natürliches Schließen (Teil 5: Modallogik)
14. Metatheoreme über die Aussagenlogik
15. Die Peano-Axiome
16. Kategorientheorie für Eilige
17. Aussagen als Typen
18. Natürliches Metaschließen

In Arbeit:

1. Differentialgeometrie
2. Propädeutikum Mathematik
3. Rezepte zur Mathematik
4. Fourier-Analysis
5. Überblick über die Mathematik
6. Einführung in Coq