Home | english  | Impressum | Datenschutz | Sitemap | KIT

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

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