Theorietestat #2b - coloringCanvasRecursiveIn2

marvin
Neuling
Neuling
Beiträge: 7
Registriert: 19. Apr 2017 14:18

Theorietestat #2b - coloringCanvasRecursiveIn2

Beitrag von marvin » 28. Mai 2017 22:28

Hallo,
in der Übungsaufgabe coloringCanvasRecursiveIn2 soll die Korrektheit des Algorithmus bewiesen werden. Es soll das komplette Canvas gefärbt werden. Es wird aber nirgendwo in der Methode die Farbe geändert. Es fehlt:

Code: Alles auswählen

canvas[heightCoordinate][widthCoordinate] = background;
Ist das ein Fehler der mittels Korrektheitsbeweis gefunden werden soll? Ich bin jetzt nicht davon ausgegangen, da es bei den anderen Aufgaben immer in der Aufgabenstellung steht, wenn der Algorithmus fehlerhaft ist.
Außerdem wird in allen Übungsaufgaben "heigthCoordinate" statt heightCoordinate und "backround" statt background geschrieben.

invariant
Mausschubser
Mausschubser
Beiträge: 65
Registriert: 6. Mai 2017 19:01

Re: Theorietestat #2b - coloringCanvasRecursiveIn2

Beitrag von invariant » 31. Mai 2017 10:30

Hallo,

der Fehler ist an der Stelle nicht unbedingt beabsichtigt gewesen. Aber es stimmt, dieser Teil des Codes fehlt.
Für ihren Korrektheitsbeweis am Besten die entsprechende Zeile ergänzen.

Das mit den Typos ist bekannt und wird in der nächsten Version geändert.

Vielen Dank für den Hinweis.

Gruß

Antworten

Zurück zu „Archiv“