Theoretische Grundlagen der Informatik 2 (TheGI2)

Typ: Vorlesung + Übung/Tutorium
SWS: 4
Credit Points: 6

Kursbeschreibung / -kommentar

Die erste Hälfte behandelt vor allem Automatenmodelle sowie Turingmaschinen, die zweite Hälfte geht dann auf der Basis von Turingmaschinen auf Fragen der Berechenbarkeit und Komplexität ein
(bis WiSe 05/06: TheGI1 - ab SoSe 07: TheGI2).