- Grundlagen
- Turingmaschinen
- Berechenbarkeit und Entscheidbarkeit
- Reduktionen
- Die Sätze von Rice
- Das Halteproblem
- Das Postsche Korrespondenzproblem
- Fleißige Biber
- Primitive Biber und primitiv-rekursive Funktionen
- Die Sprachen IMP, WHILE und LOOP
- μ-rekursive Funktionen
- Zusatz: Prädikatenlogik erster Stufe
- Der Gödelsche Unvollständigkeitssatz
- Komplexität
- Komplexitätsklassen
- Algorithmische Probleme
- Beziehungen zwischen den Komplexitätsklassen
- Der Satz von Savitch
- Hierarchiesätze
- Lückensatz von Borodin
- Der Satz von Immerman und Szelepcsényi
- Polynomialzeit-Reduktionen
- Matching und Fluss als Beispiel für eine Polynomialzeit-Reduktion
- Logspace-Reduktionen
- Zusatz: Aussagenlogik
- Schwierige und vollständige Probleme
- NL-vollständige Probleme
- NP-vollständige Probleme
- PSPACE-vollständige Probleme
- Über diese Mitschriebe
- Analysis 1
- Analysis 2
- Analysis 3
- Analysis 4
-
Funktionalanalysis 1
- Inhaltsverzeichnis
- Skalarprodukte, Normen und Metriken
- Topologie in Skalarprodukt-, normierten und metrischen Räumen
- Lineare Abbildungen in normierten Räumen
- Differentiation und Integration in Banachräumen
- Orthogonale Projektionen
- Anwendungen bei elliptischen RWP und Sobolevräume
- Der Spektralsatz für kompakte, selbstadjungierte Operatoren
- Der Satz von Hahn-Banach und die Hauptsätze der Banachraumtheorie
- Kompakte Operatoren und adjungierte Operatoren auf Banachräumen
- Lokalkonvexe und schwache Topologien
-
Funktionalanalysis 2
- Inhaltsverzeichnis
- Einbettungssätze für Sobolev- und Hölderräume
- Elliptische L²-Regularitätstheorie
- Elliptische Regularitätstheorie in Hölderräumen (Schaudertheorie)
- Operatorhalbgruppen
- Die Sätze von Hille-Yosida und Lumer-Phillips
- Analytische Halbgruppen
- Abstrakte Cauchyprobleme
- Der Satz von Stone
- Überblick über zentrale Resultate zu stark stetigen Halbgruppen
- Lineare Algebra und Analytische Geometrie 1
- Lineare Algebra und Analytische Geometrie 2
- Algebra
- Topologie
- Wahrscheinlichkeitstheorie
- Mathematische Statistik
- Lineare Kontrolltheorie
- Numerische Lineare Algebra
- Numerische Mathematik 1
- Numerische Mathematik 2
- Partielle Differentialgleichungen
- Approximation und geometrische Modellierung
- Finite Elemente
- Programmierung und Software-Entwicklung
- Datenstrukturen und Algorithmen
- Formale Sprachen und Automatentheorie
- Berechenbarkeit und Komplexität
- Algorithmische Geometrie
- Diskrete Optimierung
-
Kryptografische Verfahren
- Inhaltsverzeichnis
- Einführung und Wiederholung
- Symmetrische Verschlüsselungsverfahren
- Asymmetrische Verschlüsselungsverfahren
- Miller-Rabin-Test
- Einfache zahlentheoretische Algorithmen
- Faktorisierung
- Diskreter Logarithmus
- Wurzelziehen in endlichen Körpern
- Multiplikation
- Kryptografische Hashfunktionen
- Digitale Signaturen
- Protokolle
- Elliptische Kurven
-
Theoretische und methodische Grundlagen des Visual Computing
- Inhaltsverzeichnis
- Einführung in OpenGL
- Affine Geometrie
- Projektive Geometrie
- Differentiationsrechnung
- Integralrechnung
- Gewöhnliche Differentialgleichungen
- Partielle Differentialgleichungen
- Interpolation auf Gittern
- Interpolation unregelmäßig verteilter Daten
- Approximation
- Fourier-Analysis
- Wavelets
- Modellbildung und Simulation
- Optische Phänomene in Natur und Alltag
- Geowissenschaftliche Grundlagen der Planetenforschung
- Geschichte der Windenergie-Nutzung