Diese Vorlesung soll dem Studenten die Gründzüge der theoretischen Informatik,
diesbezügliche Denkweisen und Beweistechniken näherbringen. Themen sind z.B.
Graphen, Strukturen, Relationen, endliche Automaten, Minimierung von
Automaten, reguläre Ausdrücke, Wortproblem, Äquivalenzproblem,
Grammatiken, Chomsky-Hierarchie, reguläre, kontextfreie, kontext-sensitive,
Typ 0-Sprachen, Kellerautomaten, linear beschränkte Automaten, Turingmaschinen,
Abschlusseigenschaften, Boolesche Funktionen, logische Schaltkreise,
Normalformen, Perzeptrone, Codes, Logik.
