Verifikationsnumerik I - Wintersemester 2016/17

Lehre
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:

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:

Übungsblatt Aufgaben Ausgabe Download Programme
1
1-2
27.10.
 
2
3-7
08.11.
 
3
8-11
17.11.
 
4
12-15
29.11.
vorlagen_blatt4.zip
5
16-18
13.12.
 
6
19
22.12.
weihnachten.c
7
20-24
17.01.
xinterval.hpp, xinterval.cpp, xi_bsp.cpp
8
25-29
26.01.
ddf_maple.txt
itaylor.hpp, itaylor.cpp, itayl_ex1.cpp,
9
30
09.02.
 

Zusätzliches Material:

Beispielprogramme zu C-XSC (einschließlich Programm darstellbar.cpp): beispiele_ws16.tgz Nur fuer Rechner der Fachgruppe

Beispiele für komplexe Intervallverknüpfungen