Siehe TUMonline

Ziel der Vorlesung ist es, die Teilnehmer an die Turing Berechenbarkeit, die Berechenbarkeit auf einem Quanten Computer und deren Anwendung für die effektive konvexe Optimierung heranzuführen. Hierbei handelt es sich um ein Forschungsgebiet, welches sich insbesondere in den letzten Jahren rasant entwickelt und etabliert hat. Die Turing Berechenbarkeit liefert das stärkste Modell für die konvexe Optimierung, die auf einer perfekten digitalen Hardware Plattform implementiert werden kann. Sie liefert damit auch die Grundlage für Untersuchungen, welche Basisfragestellungen der konvexen Optimierung effektiv auf einer optimalen digitalen Hardware Plattform berechnet werden können. In der Vorlesung werden hierzu die Fenchel Transformation/ konjugierte Funktion, das finden/berechnen von ausgezeichneten Maxima, die beweisbar genaue Lösungsapproximation und Anwendungen in der Wahrscheinlichkeitsrechnung und Kodierungstheorie diskutiert. Die Untersuchungen werden weiterhin für den Quanten Computer durchgeführt. Neben einer grundsätzlichen Einführung in die Turing Berechenbarkeit und Gödelschen Theorie der rekursiven Funktionen werden weitergehende Zusammenhänge zur konvexen Optimierung und zum Quanten Computing vermittelt.

Analysis 1-3, konvexe Optimierung

Entwicklung und Präsentation der Vorlesungsinhalte an der Tafel. Vertiefung des Vorlesungsstoffes durch die Lösung von Aufgaben und Rechenbeispielen in den Übungen.