Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Prüfungen im Bachelor-Studium (1. - 5. Semester) » aud » Forendiskussionen

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

--- pruefungen:bachelor:aud:loesungss11 [21.03.2018 09:35] – Evren
+++ pruefungen:bachelor:aud:loesungss11 [21.03.2018 12:00] – Evren
@@ Zeile 323: / Zeile 323: @@
 | 0 | 11 | 16 | 3 | 7 | 7 | [17] |
 | 0 | 11 | 16 | 3 | 7 | 7 | 17 |
+alternativ:
+^ Kara ^ A ^ B ^ C ^D ^E ^ Klee ^
+| [0] | ∞ | ∞ | ∞ | ∞ | ∞ | ∞ |
+| | ∞ | 18<sub>Klara</sub> | [3<sub>Klara</sub>] | 7<sub>Klara</sub> | 9<sub>Klara</sub> | ∞ |
+| | 13<sub>C</sub> | 18<sub>Klara</sub> | | 7<sub>Klara</sub> | [7<sub>C</sub>] | ∞ |
+| | 11<sub>E</sub> | 18<sub>Klara</sub> | | [7<sub>Klara</sub>] | | ∞ |
+| | [11<sub>E</sub>] | 18<sub>Klara</sub> | | | | 19<sub>D</sub> |
+| | | [16<sub>A</sub>] | | | | 17<sub>A</sub> |
+| | | | | | | [17<sub>A</sub>] |
+| | | | | | | |
+Indizes rückwärts (von unten nach oben) durchgehen : [17<sub>A</sub>] -> [11<sub>E</sub>] -> [7<sub>C</sub>] -> [3<sub>Klara</sub>] -> [0]
+=> umdrehen: Klara -> C -> E -> A -> Klee
 **b)**
@@ Zeile 461: / Zeile 477: @@
 Sind (p ≠ 2^(n - k - 1)) und (k ≤ 0) beide nicht erfüllt, dann muss (p = 2^(n - k - 1) ∧ k > 1) erfüllt sein.
 Die Invariante ist somit gültig.
+</code>
+einfacher:
+<code>
+Zu zeigen: (I ∧ b) => wp(B, I)
+I: p = 2^(n - k - 1) ∧ k ≥ 0
+b: (k > 0)
+B: "p *= 2; k--" <=> "p = p * 2; k = k - 1;"
+(I ∧ b):
+    p = 2^(n - k - 1) ∧ k ≥ 0 ∧ k > 0
+    <=> p = 2^(n - k - 1) ∧ k > 0      (weil: (k ≥ 0 ∧ k > 0) <=> (k > 0))
+wp(B, I):
+    wp("p = p * 2; k = k - 1;", p = 2^(n - k - 1) ∧ k ≥ 0)
+    <=> wp("p = p * 2;", p = 2^(n - (k - 1) - 1) ∧ k - 1 ≥ 0)
+    <=> wp("p = p * 2;", p = 2^(n - k) ∧ k ≥ 1)
+    <=> wp(" ", p * 2 = 2^(n - k) ∧ k ≥ 1)
+    <=> p * 2 = 2^(n - k) ∧ k ≥ 1
+    <=> p = (1/2) * 2^(n - k) ∧ k ≥ 1
+    <=> p = 2^(n - k) * (1/2) ∧ k ≥ 1
+    <=> p = 2^(n - k) * 2^(-1) ∧ k ≥ 1      (weil: (1/2) = 2^(-1))
+    <=> p = 2^(n - k - 1) ∧ k ≥ 1      (weil: 2^(n - k) * 2^(-1) = 2^(n - k - 1))
+(I ∧ b) => wp(B, I):
+    p = (2^(n - k - 1) ∧ k > 0)   =>   (p = 2^(n - k - 1) ∧ k ≥ 1)
+      -> wahr, weil k > 0 <=> k ≥ 1, da k vom Datentyp "long" und damit ganzzahlig (..., -2, -1, 0, 1, 2, ...)
+fertig
 </code>