Verifizierte Numerische Methoden

Verifizierte Numerische Methoden

Typ:	Vorlesung + Übung
Semester:	WS19/20
Zeit/Ort:	Dienstag, 14:00 - 15:30 Seminarraum Geb. 20.30. Raum 2.059. Donnerstag, 14:00 - 15:30 (14-Täglich) Seminarraum IRS (Raum 203)
Dozent:	Dr. Kaori Nagato-Plum
SWS:	2 + 1
ECTS:	4
LVNr.:	2303001
Prüfung:	Mündlich

Dozenten

Dozentin

Ansprechpartner	Für Fragen zur Vorlesung oder der Übung kontaktieren Sie bitte Dr. Karoi Nagato-Plum.
Empfehlungen	Höhere Mathematik I - III Numerische Methoden Numerische Methoden für partielle Differentialgleichungen
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