Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
BUW Logo BUW Logo
BERGISCHE
UNIVERSITÄT
WUPPERTAL
Startseite    Anmelden    Semester:  WiSe 2019/20

Verifikationsnumerik I - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung/Übung Veranstaltungsnummer 192MAT050000
Semester WiSe 2019/20 SWS 4
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Belegung Diese Veranstaltung ist nicht belegpflichtig!
Hyperlink https://moodle.uni-wuppertal.de/course/view.php?id=12989
Termine Gruppe: iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Lehrperson fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Di. 08:00 bis 10:00 woch 15.10.2019 bis 28.01.2020  Gebäude G - G.15.25   05.11.2019: Entfällt wegen Krankheit
12.11.2019: Entfällt wegen Krankheit
19.11.2019: Entfällt wegen Krankheit
26.11.2019: Entfällt wegen Krankheit
20
Einzeltermine anzeigen
iCalendar Export für Outlook
Do. 08:00 bis 10:00 woch 10.10.2019 bis 30.01.2020  Gebäude G - G.15.25   07.11.2019: Entfällt wegen Krankheit
14.11.2019: Entfällt wegen Krankheit
21.11.2019: Entfällt wegen Krankheit
28.11.2019: Entfällt wegen Krankheit
20
Einzeltermine anzeigen
iCalendar Export für Outlook
Do. 08:00 bis 10:00 woch 17.10.2019 bis 30.01.2020  Gebäude G - G.16.15     20
Gruppe :
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Hofschuster, Werner, Dr. verantwortlich
Studiengänge
Abschluss Studiengang Prüfungsversion Semester
Master an Universitäten Informationstechnologie 20111 -
Master an Universitäten Informationstechnologie 20061 -
Master an Universitäten Mathematik 20061 -
Master an Universitäten Mathematik 20091 -
Master an Universitäten Mathematik 20181 -
Master an Universitäten Informatik 20181 -
Prüfungen / Module
Prüfungsnummer Modul
4345 Vert.Verifikationsnumerik
Zuordnung zu Einrichtungen
Mathematik
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 10.10.2019 um 8:15 Uhr im Raum G.15.25

 

Zielgruppe

Master Mathematik: Vert.VerNum (Modul Verifikationsnumerik);
Master Informatik;
Master IT: Vertiefungsbereich: Anwendungsbezogene mathematische Methoden (Verifikationsnumerik I);
Master IT: Vertiefungsbereich: Scientific Computing (erster Teil von Vert.VerNum Verifikationsnumerik I+II)


Strukturbaum
Die Veranstaltung wurde 4 mal im Vorlesungsverzeichnis WiSe 2019/20 gefunden:

2007 WUSEL-Team Bergische Universität Wuppertal
Anzahl aktueller Nutzer/-innen auf node7: 200