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

Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung
Nächste ÜberarbeitungBeide Seiten, nächste Überarbeitung
pruefungen:bachelor:aud:loesungss11 [21.03.2018 11:58] Evrenpruefungen:bachelor:aud:loesungss11 [21.03.2018 12:00] Evren
Zeile 489: Zeile 489:
 (I ∧ b): (I ∧ b):
     p = 2^(n - k - 1) ∧ k ≥ 0 ∧ k > 0     p = 2^(n - k - 1) ∧ k ≥ 0 ∧ k > 0
-    <=> p = 2^(n - k - 1) ∧ k > 0      (weil: (k ≥ 0 ∧ k > 0 <=> k > 0))+    <=> p = 2^(n - k - 1) ∧ k > 0      (weil: (k ≥ 0 ∧ k > 0<=> (k > 0))
  
 wp(B, I): wp(B, I):