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

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung
Nächste Überarbeitung		Vorherige Überarbeitung
Letzte ÜberarbeitungBeide Seiten, nächste Überarbeitung
pruefungen:bachelor:aud:loesung-miniklausur-13 [28.03.2016 16:04] – Marcel[Inf]pruefungen:bachelor:aud:loesung-miniklausur-13 [09.01.2017 23:48] – thejonny
Zeile 7: Zeile 7:
 ==== Aufgabe 1 - Wissensfragen ==== ==== Aufgabe 1 - Wissensfragen ====
  
-**a)** falsch: nur bei assert(x < 4711) wären die Codefragmente äquivalent \\+**a)** falsch: Assertions können selektiv per Flag beim Ausführen ab-/angeschaltet werden. Assertions sind also praktisch nie äquivalent zu anderen Codestücken.\\
  
 **b)** Option 2 und 3 sind richtig \\ **b)** Option 2 und 3 sind richtig \\
Zeile 114: Zeile 114:
 **axs** **axs**
 <code> <code>
 +// Werte überschreiben
 +// Axiom set(x, val, create) nicht spezifiziert, da es nicht weiter
 +// aufgelöst werden kann, denn set ist ein Konstruktor.
 +set(x, val1, set(x, val2, aa)) = set(x, val1, aa)
 +set(x, val1, set(y, val2, aa)) = set(y, val2, set(x, val1, aa)) wenn x != y
 +    // reihenfolge ist egal bei unterschiedlichen x,y, bei gleichem index wird überschrieben.
 +
 get(x,create) = null get(x,create) = null
 get(x, set(y, e, aa)) = e, wenn x = y;  sonst: get(x, aa) get(x, set(y, e, aa)) = e, wenn x = y;  sonst: get(x, aa)