Next:
Problembeschreibung
Up:
Kontrolleurmodule
Previous:
Darstellung des Beweises
Contents
Hamilton
Das Modul Hamilton ist ein Kontrolleurmodul, welches das Problem Hamiltonkreis behandelt.
Subsections
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Johannes Waldmann 2009-11-17
