Informationen für meine Übungsgruppen B & C

Folgende Software wird zunächst benötigt:

Hier gibt es Das JAVA SDK: Download J2SE SDK
Dazu die Dokumentation: Download J2SE Dokumentation.

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
Handbuch der Java-Programmierung
3. Auflage
Addison-Wesley, 2002
ISBN 3-8273-1949-8

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

O− Notation

EBNF-Standard

  • 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)

     

  • What Every Computer Scientist Should Know About Floating-Point Arithmetic
    in Sun's Numerical Computation Guide, David Goldberg, 1997 (addendum)

    • IEEE 754 Umrechner

    Verifikation: Folien von Michael Gellner

    Folien zum Übungsblatt 10, Hoare'sche Beweisregeln:

    hoare10.pdf