Universität Ulm ,
Fakultät für Informatik
, Abteilung Theoretische Informatik
Ankündigung einer Lehrveranstaltung für das Grundstudium im SS97
TITEL
Theoretische Informatik II
TYP
Vorlesung (4V + 2 Ü)
Veranstalter
Prof. Dr. Jacobo Toran
Inhalt
Die Vorlesung Theoretische Informatik II stellt die klassischen Gebiete der Theoretischen Informatik vor. Den größten Anteil der Vorlesung nimmt die Thematik Automatentheorie u. formale Sprachen ein. Dazu gehören die wichtigsten Resultate über reguläre und kontextfreie Sprachen. Im Rahmen der Behandlung der formalen Sprachen werden Turingmaschinen als Automatenmodell betrachtet. Damit wird das Grundkonzept Algorithmus formalisiert und die Churchsche These begründet. DIE Vorlesung endet mit einer kleinen Einführung in die Komplexitätstheorie.
Voraussetzungen
Theoretische Informatik I
Literatur
- U. Schöning, Theoretische Informatik-kurzgefaßt, Spektrum Verlag, 2. Auflage, 1995
- J. Hopcroft und J. Ullman, Introduction to Automate Theory, Languages and Computation, Addison-Wesley, 1979
Geplante Folgeveranstaltungen
Geplante Folgeveranstaltung: Algorithmen, Komplexitätstheorie, Theorielabor