GINF - Beleg 1
Projekt ggT und kgV beliebig großer natürlicher Zahlen

Michael Weiser, 99IN3

 
• Inhalt
• Aufgabenstellung
• Theoretische Grundlagen der Lösung
  • Berechnung des ggT
  • Berechnung des kgV
  • Berechnung der Faktoren x' und y'
• Entwurf des Algorithmus
  • Euklidischer Algorithmus
  • Gesamtalgorithmus
• Nachweis der Korrektheit des Algorithmus
  • Partielle Korrektheit
    • Euklidischer Algorithmus
    • Gesamtalgorithmus
  • Termination
    • Euklidischer Algorithmus
    • Gesamtalgorithmus
• Komplexität
  • Kosten im besten Fall
  • Kosten im schlimmsten Fall (worst case cost)
  • Kosten im durchschnittlichen Fall (average cost)
  • Einordnung
    • Kosten im besten Fall
    • Kosten im schlimmsten Fall (worst case cost)
    • Durchschnittliche Kosten (average cost)
• Programmierung des Algorithmus
  • math.java
  • project.java
  • timetest.java
  • timetest2.java
  • projectwindowlistener.java
• Testen des Programms
  • Korrektheit
  • Termination
• Dokumentation
  • Klasse math
  • Klasse project
  • javadoc
• Literatur
• Über dieses Dokument ...