TU Wien:Formale Methoden der Informatik VU (Egly)/Ausarbeitung Prüfung 25-3-2011 (neuer modus)

After Test Thread: https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?86609-After-Test-Thread-25.3&daysprune=-1

Aufgabe 2

2.a

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?88557-pr%FCfung-25.3.-beispiel-2a&daysprune=-1

Resolation siehe hier: https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?89465-Resolution&highlight=resolution

2.c

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?88484-Pr%FCfung-25.03.2011-Bsp.-2-c&daysprune=-1

Aufgabe 3

3.a

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?88489-Pr%FCfung-25.3.2011-Bsp-3-a&daysprune=-1

3.b

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?88462-Pr%FCfung-25.3-3b.&daysprune=-1

Aufgabe 4

4.a

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?90831-Pr%FCfung-25.3.2011-4.a-(neuer-modus)

4.b

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?88550-Pr%FCfung-25.3.2011-4b)&daysprune=-1