Hier stelle ich alle Dokumente zur Verfügung, die andere Leute interessieren könnten. Für Hinweise auf Fehler, Anregungen, Kritik und auch Wünsche bin ich jederzeit dankbar.
Softwaretechnik
- Design Patterns – Oft auftretende und allgemein bewährte Entwurfsmuster der objektorientierten Programmierung
LaTeX
- Erste Schritte mit LaTeX – beschreibt die Grundstruktur von Dokumenten, das LaTeX-Konzept und die wichtigsten Befehle. Enthält auch Referenzen auf weiterführende Literatur. Aus didaktischen Gründen ist auch der LaTeX-Quellcode verfügbar.
- LaTeX-Kurzreferenz im Textformat
Eigene wissenschaftliche Artikel
- A speaker dependent single word speech recognition library, mein wissenschaftliches Projekt in der 11. Schulklasse. Dazu gehört die Implementation.
- Nachweis der Verhaltensgleichheit zwischen Prozessmodellen auf unterschiedlichen Abstraktionsebenen – die schriftliche Ausarbeitung meines Diploms (550 kB); dazu gehört die Implementation. Die Folien sind ebenfalls verfügbar.
- Verifikation des dynamischenVerhaltens beim Entwurf von Feldbuskomponenten – Mein GroßerBeleg (615 kB); dazu gehören die ProLog-Quellen der Implementation und der Beispiele (7 kB)
- Interpolation diskreter Signale – Linear, polynomiell, optimal nach Shannon
- Sicherheits- und Lebendigkeitseigenschaften paralleler Prozess-Systeme – die schriftliche Ausarbeitung meines Komplexpraktikums
- Formal verification of security protocols – Part I: Basics of cryptography and introduction to security protocols (Englisch) – Ausarbeitung meines Hauptseminars. Die Folien sind ebenfalls verfügbar.
- Projective Geometry (pandoc MarkDown+LaTeX source): My summary of the basics of projective geometry and homogeneous coordinates.
- Universal Hyperbolic Geometry (ebook version, LaTeX source): My summary and notes of N. J. Wildberger’s online lecture series. This builds upon “Projective Geometry” from above.
Mitschriften aus Informatik-Vorlesungen
- Algebra – Cantorsche Mengenlehre, Relationen, Abbildungen, algebraische Strukturen, Morphismen
- Rechnen in Modulo-Körpern
- Grundlagen der Stochastik
- Informations- und Kodierungstheorie – Die komplette Vorlesung
- Formale Sprachen – Die Chomsky-Hierarchie, die Grammatiken und entsprechende Automaten incl. Umwandlungen zwischen verschiedenen Repräsentationen
Gymnasiums-Mitschriften
- Matrizenrechnung aus der Mathematik Sekundarstufe II
- Vektorrechnung aus der Mathematik Sekundarstufe II
- Thermodynamik aus der Physik Sekundarstufe II