Rechnerarithmetik

Vorlesung

Die Vorlesung Rechnerarithmetik befasst sich mit der Definition und Implementierung der Gleitkommaarithmetik. Insbesondere interessieren dabei Genauigkeit und Verlässlichkeit.Mit Hilfe von Intervallarithmetik wird es möglich, mathematische Aussagen auf dem Rechner zu beweisen.

Wir betrachten die Arithmetik-Standards IEEE 754, IEEE P1788 und deren theotretische Grundlagen, sowie Implementierungen in Software (z.B. C++) und Hardware (z.B. Cell Processor)

Literaturangaben:

U. Kulisch: Computer Arithmetic and Validity. deGruyter, 2008

U. Kulisch: Grundlagen des Numerischen Rechnens, Reihe Informatik/19, BI Verlag, 1976

Der Stoff ist auch als Script vorhanden, welches  aktualisiert wird.

Übungen:

werden über Moodle organisiert.

Prüfung:

Am Ende des Semesters wird eine mündliche oder schriftliche Prüfung stattfinden. Erfolgreiche Teilnahme an den Übungen ist Voraussetzung zur Zulassung

5 ECTS Punkte

Diplom- und Bachelorarbeiten

und begleitende Praktika werden angeboten

Zeiten:

Vorlesung: Montag, 8.30-10.00 Uhr, SE 2

Übung:    Dienstag, 15.15-16.45Uhr,  SE 1

Beginn ist Dienstag der 20.10.09 mit einer motivierenden Einführung