M. Sc. Elisabeth Neumann Abgabe bis 6.12.2017 um 12 Uhr Aufgabe 6.1 (Hoare Kalkül - Anwendung)

Geben Sie uns in Ihrer Abgabe Feedback zum Beweischecker. Ist die Dokumentation ausreichend? Nennen Sie uns Probleme, Fehler und unerwartetes Verhalten, auf dass Sie gestossen

In dieser Aufgabe sollen sollen Sie ausarbeiten, in wie fern sich die Konzepte der univer- sellen Turing-Maschine in diesem Modell wiederfinden lassen. Welche der Komponenten haben

Wenn alle Knoten den gleichen ungeraden Grad haben, wieviele Knoten hat dann G?. Angenommen G/e ist nicht

2) Ihre L¨ osung bitte direkt auf dieses Blatt schreiben!. 3) Aufgabe 2 ist auf R¨ uckseite

in dem Spieler 0, der an runden Knoten den Zug hat, dann gewinnt, wenn die größte unendlich oft besuchte Zahl l auf der rechten Seite genau der Anzahl der unendlich oft besuchten

(c) Zeigen Sie, dass jedes Model-Checking-Spiel für alternierungsfreie LFP-Formeln (Formeln, in denen kleinste und größte Fixpunkte nicht geschachtelt vorkommen) durch Umvertei-

Hinweis: Geben Sie ein zu Φ äquivalentes Axiomensystem Φ ′ an, dessen Sätze der Länge nach strikt aufsteigend sortiert werden

Wir betrachten folgendes Spiel auf einer rechteckigen Schokoladentafel: Die Spieler w¨ ahlen abwechselnd (Spieler 0 beginnt) einen Gitterknoten und entfernen alle Schokoladenst¨