|
|
Informationen für meine Übungsgruppen B & CFolgende Software wird zunächst benötigt:Hier gibt es Das JAVA SDK:
Download J2SE SDK Zur Dokumentation von Quellcode gibt es JavaDoc. Hier gibt es JCreator LE (Version 2.5 oder 3.10) als Freeware: http://www.jcreator.com/download.htm ! Das Java SDK vor Jcreator installieren, damit JCreator die Pfade in der Registry findet. Das Java-Tutorial: Guido Krüger gibt es hier online: www.javabuch.de Und noch ein freies Buch aus dem Internet: Galileo Computing Java ist auch eine Insel Sehr ausführliche mathematische Anhandlung über die O-Notation What Every Computer Scientist Should Know About Floating-Point Arithmetic David Goldberg, ACM Computing Surveys, pp. 5-48, vol. 23#1, 1991 (ACM Copyright Notice)
in Sun's Numerical Computation Guide, David Goldberg, 1997 (addendum) Verifikation: Folien von Michael Gellner Folien zum Übungsblatt 10, Hoare'sche Beweisregeln: |