..

Veranstaltungsort

UNI, TechFak, Informatik-Hochhaus
Martensstraße 3
91058 Erlangen

Haltestellenicon  FAU Südgelände

Umsteigemöglichkeit:

Umstieg

-> größere Karte anzeigen

-> alle Veranstalter an diesem Ort
Sie sind hier:  2017  > Programm  > ... nach Touren
13
 
UNI, TechFak, Informatik-Hochhaus

Lehrstuhl Informatik 8 (Theoretische Informatik)

Logik, Loks und Legolas – Rätsel per Modell Checking lösen barrierefrei

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.

Infostand, Mitmach-Aktion, 20:00 — 03:00 Uhr, 02.152
 
Wissenschaftszweig:Informatik, Naturwissenschaften, Technische Wissenschaften

 

Zurück

 

Unsere Partner:

 

Unsere Sponsoren:

Bayerisches Staatsministerium für Bildung und Kultus, Wissenschaft und KunstTenneT TSO GmbH DatevSchaefflerContinentalGfKSiemens