Theorie Testat #2b - Beispiel 4.1

Bei Postings zu Aufgabe Nr. x auf Blatt Nr. y lassen Sie Ihr Betreff bitte mit "y.x: " beginnen, gefolgt von einer möglichst präzisen Überschrift, danke!

Moderator: Algorithmen und Datenstrukturen

Forumsregeln
Bei Postings zu Aufgabe Nr. x auf Blatt Nr. y lassen Sie Ihr Betreff bitte mit "y.x: " beginnen, gefolgt von einer möglichst präzisen Überschrift, danke!
marvin
Neuling
Neuling
Beiträge: 7
Registriert: 19. Apr 2017 14:18

Theorie Testat #2b - Beispiel 4.1

Beitrag von marvin » 27. Mai 2017 17:16

Hallo,
Beispiel 4.1 (Theorie #2b) enthält eine ältere Version des Korrektheitsbeweis zum iterativen CheckerNotZero (#2a) und keinen Korrektheitsbeweis zu FindSearchTree.
Gruß

Janis
Neuling
Neuling
Beiträge: 4
Registriert: 27. Mai 2017 17:25

Re: Theorie Testat #2b - Beispiel 4.1

Beitrag von Janis » 27. Mai 2017 17:33

Weiterhin fehlen die anderen Beispielaufgaben Und ohne Beispielaufgabe ist es schwierig zu wissen ob man die offenen Beispielaufgaben richtig macht.

Ich hab mein Testat Montag und weiß ehrlich nicht wie ich mich im Moment darauf vorbereiten soll. Das ganze Dokument 2b ist praktisch eine Kopie von 2a mit ein paar wenigen Bemerkungen zur Rekursion zwischen drin. Und dann halt noch ohne Beispielaufgaben. Das erscheint mir alles echt unorganisiert. :?

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

Re: Theorie Testat #2b - Beispiel 4.1

Beitrag von invariant » 28. Mai 2017 15:14

Hallo,

das das Blatt recht ähnlich zu 2A gehalten ist, ist an dieser Stelle Absicht. Die Beweisverfahren unterscheiden sich vom Prinzip her nicht, daher wollten wir Ihnen noch einmal ein paar Fakten aus 2A in Erinnerung rufen.

Die Beispielaufgaben wurden überarbeitet und sind in der neuen Version enthalten (siehe moodle).

Ich bitte die Umstände die Ihnen dadurch entstanden sind zu entschuldigen.

Gruß

Antworten

Zurück zu „AuD: Theoretische Aufgaben“