Next:
Problembeschreibung
Up:
Kontrolleurmodule
Previous:
Kontrolleurmodule
Contents
Col: Drei-Färbung
Das Modul Colorisierung behandelt das Problem der Faerbung.
Subsections
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Verifiziere-Funktion
Darstellung der Instanz
Darstellung des Beweises
Johannes Waldmann 2009-11-17