Die Suche ergab 2 Treffer

von ceerwyn
11. Mai 2017 12:48
Forum: AuD: Theoretische Aufgaben
Thema: THeorie Testat #2 checkerNotZero
Antworten: 9
Zugriffe: 995

Re: THeorie Testat #2 checkerNotZero

Danke für die schnelle Antworten! Ja, die Frage war genau wegen der Formulierung "Invariante: Nach h >= 0 Iterationen gilt: Die Listenelemente an den Positionen 0...h - 1 sind ungleich 0. " Ich bin der gleichen Meinung dass bei der Invariante "Die Listenelemente an den Positionen 0...h - 1 sind NICH...
von ceerwyn
10. Mai 2017 11:04
Forum: AuD: Theoretische Aufgaben
Thema: THeorie Testat #2 checkerNotZero
Antworten: 9
Zugriffe: 995

THeorie Testat #2 checkerNotZero

Hallo, bei der Invariant im checkerNotZero steht "Invariante: Nach h >= 0 Iterationen gilt: Die Listenelemente an den Positionen 0...h - 1 sind ungleich 0." Aber eine der Abbruchbedingungen ist wenn current.key != 0 ist. Und bei der Induktionsschritt steht auch: "Induktionsschritt: Nach h >= 1 Itera...

Zur erweiterten Suche