250125 VO Interval Analysis (2023S)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").

Für diese LV an-/abmelden

Details

Sprache: Englisch

Prüfungstermine

Dienstag 24.10.2023 Dienstag 05.03.2024

Lehrende

Hermann Schichl

Termine (iCal) - nächster Termin ist mit N markiert

    
    Dienstag
    07.03.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    14.03.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    21.03.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    28.03.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    18.04.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    25.04.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    02.05.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    09.05.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    16.05.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    23.05.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    06.06.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    13.06.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    20.06.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock
    
    Dienstag
    27.06.
    11:30 - 13:00
    Seminarraum 10  Oskar-Morgenstern-Platz 1  2.Stock

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

This lecture course is concerned with verified computing based on intervals. We will discuss interval arithmetic, verified linear algebra based on H-matrices, nonlinear systems of equations, and the like.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Oral exam.

Mindestanforderungen und Beurteilungsmaßstab

Passing the oral exam which evaluates the knowledge about the topics presented in the lecture course, including motivation, examples, results, and proofs.

Prüfungsstoff

The topics presented in the lecture course, including motivation, examples, results, and proofs.

Literatur

Will be presented during the lecture course.

Arnold Neumaier, Interval Methods for Systems of Equations, Cambridge University Press.

Zuordnung im Vorlesungsverzeichnis

MAMV; MANV

Letzte Änderung: Fr 08.03.2024 10:06