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
pruefungen:bachelor:aud:loesungws12 [25.03.2014 10:26] – Omage.xsify wird NIE aufgerufen (!) fharbepruefungen:bachelor:aud:loesungws12 [28.03.2022 08:00] (aktuell) – Warnung vor Quatsch BobbyB
Zeile 85: Zeile 85:
 ## fld[1][0] ## ## fld[1][1] ## ## fld[1][2] ## ## fld[1][0] ## ## fld[1][1] ## ## fld[1][2] ##
 1,0 1,1 1,2 1,0 1,1 1,2
-x x x +x x x 
 + icks
  Mitte   Mitte
  
Zeile 187: Zeile 188:
  fib: Nat -> Nat  fib: Nat -> Nat
 axs: axs:
- fib(zero) = zero+ fib(zero) = succ(zero)
  fib(succ(zero)) = succ(zero)  fib(succ(zero)) = succ(zero)
  fib(succ(succ(n))) = add(fib(succ(n)), fib(n))  fib(succ(succ(n))) = add(fib(succ(n)), fib(n))
Zeile 299: Zeile 300:
  
 Dia-Sourcefile für etwaige Korrekturen: {{:pruefungen:bachelor:aud:21-02-2013-8.dia.txt|:pruefungen:bachelor:aud:21-02-2013-8.dia.txt}} Dia-Sourcefile für etwaige Korrekturen: {{:pruefungen:bachelor:aud:21-02-2013-8.dia.txt|:pruefungen:bachelor:aud:21-02-2013-8.dia.txt}}
 +
 +Vorsicht, dieses Diagramm ist falsch. Erstens müssen bremsanlage und tasten nicht mit in Kabinensteuerung, sondern nur als Beziehung eingetragen werden. Außerdem sollte die implements Beziehung zwischen den Tasten und dem Interface gestrichelt sein.
  
 ==== Aufgabe 9 - Formale Verifikation ==== ==== Aufgabe 9 - Formale Verifikation ====