Verifizierte numerische Methoden

  • Type: Vorlesung + Übung
  • Chair: IRS-RUS
  • Semester: WS23/24
  • Time/Place:

    Vorlesung Dienstag, 14:00 - 15:30 (Geb. 20.30, Raum 2.059)
    Übung Donnerstag (14-Täglich), 14:00 - 15:30 (Geb. 30.33, Raum 312)
  • Start: 24.10.2023
  • Lecturer:

    Dr. Kaori Nagato-Plum
  • SWS: 2 + 1
  • ECTS: 4
  • Lv-No.: 2303001
  • Exam: Mündlich

Dozenten

Dr. Kaori Nagato-Plum

Dozentin		    

Überblick

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
Evaluation WS21/22