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
Letzte ÜberarbeitungBeide Seiten, nächste Überarbeitung
pruefungen:bachelor:aud:loesung-miniklausur-13 [28.03.2016 16:18] Marcel[Inf]pruefungen:bachelor:aud:loesung-miniklausur-13 [09.01.2017 23:48] thejonny
Zeile 117: Zeile 117:
 // Axiom set(x, val, create) nicht spezifiziert, da es nicht weiter // Axiom set(x, val, create) nicht spezifiziert, da es nicht weiter
 // aufgelöst werden kann, denn set ist ein Konstruktor. // aufgelöst werden kann, denn set ist ein Konstruktor.
-set(x, val1, set(y, val2, aa)) = set(x, val1, aa)+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