Ansprechpartner 

Für Fragen zur Vorlesung oder der Übung kontaktieren Sie bitte Dr. Karoi Nagato-Plum.

Empfehlungen

Lehrinhalt

• Intervall-Arithmetik
• Funktionalanalytische Grundkonzepte
  • Sobolev-Räume
  • Einbettung und Einbettungssätze
  • Fixpunkt Formulierung
  • Fixpunktsatz
• Numerische Methoden in der Elektrodynamik
• Verifizierte numerische Methoden für lineare Gleichungssysteme
• Verifizierte numerische Methoden für (endlich-dimensionale) nichtlineare Gleichungen
• Computerunterstützte Beweismethoden für Differentialgleichungen
• Einschließung von Eigenwerten

Ziel

• Die Studierenden kennen die Grundlagen verifizierter numerischer Methoden zur Einschließung von Lösungen von (endlich-dimensionalen) Gleichungssystemen sowie Differentialgleichungen
• Die Studierenden sind vertraut mit allen Aspekten von der Modellbildung über die Entwicklung verifizierter numerischen Verfahren bis zur algorithmischen Umsetzung und konkreten Programmierung z.B. in MATLAB/INTLAB
• Die Studierenden beherrschen die Anwendung von verifizierten numerischen Methoden auf praktische Aufgabenstellungen

Mündliche Prüfung

Die Erfolgskontrolle erfolgt im Rahmen einer mündlichen Gesamtprüfung (20 Minuten) nach § 4 Abs. 2 Nr. 2 SPO Master ETIT über die ausgewählte Lehrveranstaltung