Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8 » Prüfungsprotokoll zu "Formale Methoden der Softwareentwicklung"   (Übersicht)

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

pruefungen:hauptstudium:ls8:fm_ws1213 [06.03.2013 11:21] – angelegt dariopruefungen:hauptstudium:ls8:fm_ws1213 [06.03.2013 18:50] (aktuell) – *letzte frage wieder eingefallen, abschlusskommentar dario
Zeile 59: Zeile 59:
 in CTL nicht, immer nur gepaart mit einem temporaloperator. in CTL* egal wo. in CTL nicht, immer nur gepaart mit einem temporaloperator. in CTL* egal wo.
  
-joa, dann können sie mal kurz rausgehn. +**wie war das denn mit der fixpunktiteration?** 
- +kurz skizziert, dass man halt mit nix anfängt, und induktiv quasi immer was in einem schritt vom bisherigen aus erreichbar ist dazu nimmt und irgendwann keine änderung mehr hat ⇒ fixpunkt
- +
- +
- +
- +
- +
- +
  
 +joa, dann können sie mal kurz rausgehn..
  
  
  
  
 +insgesamt sehr faire prüfung, hab mich zwei, drei mal verhaspelt, schröder meinte aber dannach "sie wussten schon an einigen stellen genau genug, dass es auf jeden fall besser als 2.0 werden musste ;-)"