Vorlesung (326.023)

A.Univ.Prof. DI Dr. Wolfgang Schreiner

Zeit: Freitag, 12:00-13:30.
Raum: HS 10.
Beginn: 14. Oktober 2011

Skriptum

Folien

• Einführung und Organisation (4 auf 1)
• Algorithmen (4 auf 1)
• Endliche Automaten (4 auf 1)
• Random Access Machines (4 auf 1)
• Turing-Maschinen (4 auf 1)
• Die Chomsky-Hierarchie (4 auf 1)
• Rekursive Funktionen (4 auf 1)
• Komplexität von Algorithmen (4 auf 1)
• Entscheidbarkeit und Unentscheidbarkeit (4 auf 1)
• Problemkomplexität (4 auf 1)

Klausur

• 2. Termin: Mittwoch, 28. März 2012, 17:15-18:45, S2 052 (Science Park)
• Anmeldung: bis Montag, 26. März 2012, 12:00 im KUSSS.
• Unterlagen: sind zugelassen.
• Lichtbildausweis: nicht vergessen!
• Beispielklausur
• Ergebnisse

Weiterführende Literatur

• John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Introduction to Automata Theory, Languages and Computation (deutsche Ausgabe: Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit)
• Dirk W. Hoffmann: Theoretische Informatik
• Katrin Erk und Lutz Priese: Theoretische Informatik: Eine umfassende Einführung
  
• Uwe Schöning: Theoretische Informatik - kurz gefasst
• Boris Hollas: Grundkurs Theoretische Informatik

Die Bücher von Hoffmann und von Erk/Priese umfassen den gesamten Stoff der LVA (während bei den anderen der Bereich der rekursiven Funktionen meist nicht vorkommt).