=== HEADER ===
-----------------------------
Blatt 8, Aufgabe 3 (3 Fragen)
-----------------------------
Tutorium: t11
Gruppe: g18
Gruppenmitglieder:
 - Anas Alhakim
 - ???

---------------------------------------------
 TRAGEN SIE OBEN DIE GRUPPENMITGLIEDER SOWIE
 DEN NAMEN IHRER GRUPPE UND IHR TUTORIUM EIN
 BEACHTEN SIE DABEI DAS VORGEGEBENE SCHEMA
---------------------------------------------
=== ENDE HEADER ===


=== HINWEISE ===
 - Editiere diese Datei AUSSCHLIESSLICH mit einem Editor wie Kate, Gedit, vi(m) oder emacs.
 - Editiere diese Datei KEINESFALLS mit einer Textverarbeitung wie Word oder LibreOffice.
 - Editiere oben den Header und trage die Daten deiner Gruppe ein. Behalte das Schema bei.
 - Gib deine Antworten nur im Antwortfeld (ANTWORT) ein und nimm sonst keine Änderungen vor.
 - Die Beantwortung der Fragen hat gemäß der Beschreibung auf dem Übungszettel zu erfolgen.

Beispielfrage: Wie lautet die Korrektheitsbedingung des Algorithmus MaxSearch?

ANTWORT: C19 & A25

=== ENDE HINWEISE ===


=== FRAGE 1 ===
Gib die Korrektheitsbedingung für den Algorithmus BubbleSort an.

ANTWORT:
Für die äußere Schleife (2-4 Zeilen) gilt:
(a) A[j,.....length(A)] ist aufsteigend sortiert sowie
(b) (j<length(A)=> (A[j]>=A[k])) für alle k ∈ {1,......,j}
=== ENDE FRAGE 1 ===


=== FRAGE 2 ===
Gib eine Schleifeninvariante der äußeren for-Schleife (Zeilen 2-4) an, mit welcher die Korrektheit
des Algorithmus BubbleSort bewiesen werden kann.

ANTWORT:

=== ENDE FRAGE 2 ===

=== FRAGE 3 ===
Gib eine Schleifeninvariante der inneren for-Schleife (Zeilen 3-4) an, mit welcher die Korrektheit
des Algorithmus BubbleSort bewiesen werden kann.

ANTWORT:

=== ENDE FRAGE 3 ===