Vorlesungsverzeichnis

Suchen Sie hier über ein Suchformular im Vorlesungsverzeichnis der Leuphana.


Lehrveranstaltungen

Theoretische Informatik (Vorlesung/Übung)

Dozent/in: Ulrich Hoffmann

Termin:
wöchentlich | Montag | 10:15 - 11:45 | 06.10.2008 - 23.01.2009 | Raumangabe fehlt
wöchentlich | Donnerstag | 12:15 - 15:45 | 06.10.2008 - 23.01.2009 | Raumangabe fehlt

Inhalt: Das Modul vermittelt Grundkenntnisse aus folgenden Teilgebieten: Grundlagen · Modelle der Berechenbarkeit (Turingmaschinen, Registermaschinen), Churchsche These · Entscheidbarkeit, Aufzählbarkeit und Grenzen der Berechenbarkeit (Halteproblem, Satz von Rice) Komplexität von Algorithmen · Zeitkomplexität, Platzkomplexität · Das P-NP-Problem · Theorie der NP-Vollständigkeit · Probabilistische Berechnungmodelle und Komplexitätsklassen Ausblicke Elemente der Automatentheorie · Endliche Automaten · reguläre Ausdrücke · Kellerautomaten Grammatiken und formale Sprachen · Chomsky-Hierarchie · Entscheidungsprobleme für formale Sprachen Aktuelle Themen der Theoretischen Informatik