Next:
Autor:
Up:
Kontrolleurmodule
Previous:
Darstellung des Beweises
Contents
TSP : Handelsreisender
Subsections
Autor:
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Johannes Waldmann 2009-11-17