Wer suchet, der findet? – Ueber den Existenzquantor in der Informatik

Speaker

Prof. Dr. W. Thomas, Informatik 7

Title Wer suchet, der findet? – Ueber den Existenzquantor in der Informatik
When 05.02. 2009, 15:00
Where Seminarraum Informatik 7
Abstract Der Informatiker sucht Loesungen – und das ist manchmal schwer. Wie schwer eigentlich? Zum Semesterabschluss geben wir in sehr informeller Darstellung einen Blick auf verschiedene Arten von Suchproblemen in der Informatik. Wir streifen Problemklassen wie NP, die Klasse RE der aufzaehlbaren Probleme (die nicht unbedingt entscheidbar sind) und noch schwierigere Probleme (wie sie uebrigens in AlgoSyn auftauchen!). Eine einheitliche Sicht und eine sehr nuetzliche Orientierung wird moeglich durch sorgfaeltige ormulierung der Probleme in Form von Existenzbedingungen.

Im Anschluss an den ca. 30-minuetigen Vortrag gibt es einen Umtrunk in der Bibliothek, bei dem die aus AlgoSyn-Mitteln beschafften Buecher gesichtet werden koennen.

Slides download