Verifikationsnumerik I - Wintersemester 2016/17 |
Nr. |
Titel der angebotenen
Veranstaltung |
Zeit und Ort |
SWS |
Dozent |
162MAT050000 |
Verifikationsnumerik I |
Di 8-10, G.15.25 Do 8-10, G.15.25 bzw. G.16.15 |
4 V/Ü |
Hofschuster |
Einordnung:
- Master Mathematik: Vert.VerNum (Verifikationsnumerik I+II)
- Master IT: Vertiefungsbereich: Anwendungsbezogene mathematische Methoden
(Verifikationsnumerik I)
- Master IT: Vertiefungsbereich: Scientific Computing (Verifikationsnumerik I+II)
Termine
Beginn der Veranstaltung (mit Vorbesprechung):
Donnerstag, den 20.10.2016 um 8:15 Uhr im Raum G.15.25
Ab dem 25.10.2016 beginnen die Vorlesungen am Dienstag jeweils um 8:30 Uhr, die Vorlesungen/Übungen am Donnerstag jeweils um 8:15 Uhr!
Übersicht der Vorlesungs- und Übungstermine:
Dienstag |
V / Ü |
Raum |
|
Donnerstag |
V / Ü |
Raum |
|
|
|
|
20.10. |
V |
G.15.25 |
25.10. |
V |
G.15.25 |
|
27.10. |
V |
G.15.25 |
01.11. |
Feiertag |
|
|
03.11. |
Ü |
G.16.15 |
08.11. |
V |
G.15.25 |
|
10.11. |
V |
G.15.25 |
15.11. |
V |
G.15.25 |
|
17.11. |
V |
G.15.25 |
22.11. |
V |
G.15.25 |
|
24.11. |
Ü |
Beginn G.15.25, danach G.16.15 |
29.11. |
V |
G.15.25 |
|
01.12. |
V |
G.15.25 |
06.12. |
V |
G.15.25 |
|
08.12. |
Ü |
G.16.15 |
13.12. |
V |
G.15.25 |
|
15.12. |
V |
G.15.25 |
20.12. |
V |
G.15.25 |
|
22.12. |
Ü |
G.15.25 |
10.01. |
V |
G.15.25 |
|
12.01. |
Ü |
G.16.15 |
17.01. |
V |
G.15.25 |
|
19.01. |
V/Ü |
G.15.25 |
24.01. |
V |
G.15.25 |
|
26.01. |
V |
G.15.25 |
31.01. |
V |
G.15.25 |
|
02.02. |
Ü |
G.16.15 |
07.02. |
V |
G.15.25 |
|
09.02. |
V |
G.16.15 |
Das Team
Der Inhalt
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 linearen
Gleichungssystemen, globale Optimierung
Stichworte zum Vorlesungsinhalt:
Tabelle der bisher ausgegebenen Übungsblätter:
Zusätzliches Material:
Beispielprogramme zu C-XSC (einschließlich Programm darstellbar.cpp):
beispiele_ws16.tgz
Beispiele für komplexe Intervallverknüpfungen