FSI-Zimmer: geschlossen
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.
| Beide Seiten, vorherige ÜberarbeitungVorherige ÜberarbeitungNächste Überarbeitung | Vorherige Überarbeitung | ||
| pruefungen:bachelor:aud:loesung-miniklausur-13 [28.03.2016 16:18] – Marcel[Inf] | pruefungen:bachelor:aud:loesung-miniklausur-13 [09.01.2017 23:50] (aktuell) – thejonny | ||
|---|---|---|---|
| Zeile 117: | Zeile 117: | ||
| // Axiom set(x, val, create) nicht spezifiziert, | // Axiom set(x, val, create) nicht spezifiziert, | ||
| // 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, | get(x, | ||
| Zeile 124: | Zeile 126: | ||
| delete(x, set(y, e, aa)) = aa, wenn x = y; sonst: set(y, e, delete(x, aa)) | delete(x, set(y, e, aa)) = aa, wenn x = y; sonst: set(y, e, delete(x, aa)) | ||
| size(create) = 0 | size(create) = 0 | ||
| - | size(set(x, e, aa)) = 1 + size(aa) | + | size(set(x, e, aa)) = 1 + size(aa), wenn get(x, aa) = null |
| + | size(set(x, e, aa)) = size(aa), sont | ||
| </ | </ | ||