Abgabe: Dienstag, 16.12.03 in der Vorlesung
Volltext
a) F¨ ur die in der Vorlesung definierte Untergruppe U σ−1
U σ−1
oberen Dreiecksmatrizen. Zeige: N GLn
ÄHNLICHE DOKUMENTE
Mathematische Grundlagen der Informatik RWTH
Mathematische Grundlagen der Informatik RWTH
Im Doppelzugschach gelten für die Figuren die gleichen Zugregeln wie beim Schach mit der Ausnahme, dass ein Zug im Doppelzugschach aus der Hintereinanderausführung von zwei
Wir sagen, dass G nicht- terminierend ist, wenn jeder Knoten mindestens einen Nachfolger hat.. Zeigen Sie dazu zunächst, dass f
(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-
Mathematische Grundlagen der Informatik RWTH
Zeigen Sie, dass trotzdem jedes Spiel mit dieser Muller-Bedingung positional determiniert
Wir betrachten ein Spiel, in welchem drei Spieler um einen Gewinn von e 1 spielen, indem sie gleichzeitig jeweils eine ganze Zahl zwischen 1 und K wählen (für ein festes K)?.