Inhalt
Kommentar |
Wissenschaftliches Rechnen, Rechnen mit (unendlichen) Mengen, containment sets, (Maschinen-)Intervallarithmetik, Gleitkommasysteme, Wertebereichseinschließung, Intervallrechnung im Komplexen (Rechteck- und Kreisscheibenarithmetik), automatische Differentiation, Taylorarithmetik, Steigungen, verifizierte Integration, verifizierte Behandlung von Nullstellenproblemen und von linearen Gleichungssystemen, globale Optimierung
|
Bemerkung |
Beginn der Veranstaltung (mit einer Vorbesprechung): Donnerstag, den 12.10.2017 um 8:15 Uhr im Raum G.15.25
Ab dem 17.10.2017 beginnen die Vorlesungen/Übungen jeweils um 8:30 Uhr!
|
Zielgruppe |
Master Mathematik: Vert.VerNum (Modul Verifikationsnumerik); Master IT: Vertiefungsbereich: Anwendungsbezogene mathematische Methoden (Verifikationsnumerik I); Master IT: Vertiefungsbereich: Scientific Computing (erster Teil von Vert.VerNum Verifikationsnumerik I+II) |