EN | DE
Theoretische Informatik

Logik, Loks und Legolas

Rätsel per Modell Checking lösen

Besuchen Sie uns im Raum 00.152, Martensstr. 3 (Blaues Informatik-Hochhaus).

Wie führt man nachts eine Gruppe Wanderer mit nur einer Fackel über eine marode Brücke? Wie rangiert man Züge auf begrenztem Platz um? Treten Sie gegen den Computer an und lösen Sie die Rätsel interaktiv. Dabei erfahren Sie, wie man solche Probleme informatisch modelliert, um dem Computer die eigentliche Arbeit zu überlassen.

Weiterführendes Material

Quellcode...