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

Ausarbeitung 28.1.2011 Neuer Modus

Aufgabe 1

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?86305-Pr%FCfung-28.1.-Semi-Decidability&daysprune=-1

Aufgabe 3

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?88477-Pr%FCfung-28.01.2011.-%28neu%29-Bsp-3-%28Implication-Graph%29&daysprune=-1

Aufgabe 4

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?88393-28.01.2011-(WS2010)-4.-Beispiel

Aufgabe 5

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?88501-Pr%FCfung-28.01.2011-%28neu%29-Bsp.-5-loop-Statement-erweitern&daysprune=-1

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?89472-Pr%FCfung-28.01.2011-Bsp.-5-loop&daysprune=-1

Aufgabe 6

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?88399-Pr%FCfung-28.01.2011.-Bsp-6.&daysprune=-1

Aufgabe 7

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?88555-28.-1.-2011-%E2%80%93-Beispiel-7&daysprune=-1

Aufgabe 8

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?88549-28.01.11-Neuer-Modus-Beispiel-8&daysprune=-1

Aufgabe 9

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?89933-25.01.2011-%28neuer-Modus%29-Bsp.-9&daysprune=-1

Siehe auch Lösung zu Exercise 4. [1]

Aufgabe 10

https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?88502-28.-01.-2011-Beispiel-10&daysprune=-1