Informieren Sie sich über Theoretische Informatik im Hauptstudium! Sie können zum Beispiel Kombinatorische Spieltheorie hören, und noch vieles andere.
Die Prüfung über das 3. und 4. Semester (Automaten, Sprachen, Berechenbarkeit, Komplexität) findet am Montag, dem 24. September, um 10 Uhr statt.
So wird programmiert! Jetzt anmelden zum Haskell-compact-Kurs!
Hier steht, was nicht mehr aktuell ist.
Hier ist das PCP-Puzzle.
Wie lautet der Vorname von Herrn Ackermann? Finden Sie hier Biographien von Mathe- und Informatikern.
Die Lösung der Aufgabe zur Takeuchi-Funktion, nebst weiteren Erläuterungen, finden Sie in dem Artikel Textbook Examples of Recursion von Donald E. Knuth.
Eine Sammlung von Fakten und Verweisen zu Busy Beaver-Maschinen ist hier.
Webseiten zur Berechenbarkeits-Vorlesung
http://www.informatik.uni-leipzig.de/~joe/ mailto:joe@informatik.uni-leipzig.de |