Beruflich Dokumente
Kultur Dokumente
Michael Leuschel
2017
1 / 12
Prfung
Klausur
Termin: Di, 1. August 2017, 12:30 Uhr (erste vorlesungsfreie
Woche)
Zulassung durch Erreichen von 50 Prozent der bungspunkte
(360 Punkte) oder Altzulassung
nicht-elektronische Hilfsmittel sind erlaubt
2 / 12
bungsbetrieb
3 / 12
bungsbetrieb
4 / 12
bungsbetrieb (Verantwortliche)
Duygu Vietz
25.13.O2.31, Sprechstunde: TBD
Lisa Rey
25.02.O1.33, Sprechstunde: Di, 11-12 Uhr
Ausgabe alter bungszettel nach der Vorlesung (ca. 10-11 Uhr)
Philipp Krner
25.12.O2.56, Sprechstunde: TBD
5 / 12
Literatur
Alexander Asteroth und Christel Baier: Theoretische
Informatik. Eine Einfhrung in Berechenbarkeit, Komplexitt
und formale Sprachen mit 101 Beispielen. Pearson Studium,
2002.
Norbert Blum: Theoretische Informatik. Eine
anwendungsorientierte Einfhrung. Oldenbourg, 2. Auflage,
2001.
Katrin Erk und Lutz Priese: Theoretische Informatik. Eine
umfassende Einfhrung. Springer-Verlag, 3. Auflage, 2008.
Gerhard Goos: Vorlesungen ber Informatik 3.
Berechenbarkeit, formale Sprachen, Spezifikationen.
Springer-Verlag, 1997.
John E. Hopcroft, Rajeev Motwani und Jeffrey D. Ullman:
Einfhrung in die Automatentheorie, Formale Sprachen und
Komplexittstheorie. Pearson Studium, 2. Auflage, 2002.
6 / 12
Literatur
Jrg Rothe: Komplexittstheorie und Kryptologie. Eine
Einfhrung in Kryptokomplexitt. eXamen.press,
Springer-Verlag, Berlin, Heidelberg, 2008. (Nur die
Abschnitte 2.2 und 3.5.)
Arto K. Salomaa: Formale Sprachen. Springer-Verlag, 1978.
Uwe Schning: Theoretische Informatik kurz gefasst.
Spektrum Akademischer Verlag, 5. Auflage, 2008.
Gottfried Vossen und Kurt-Ulrich Witt: Grundkurs
Theoretische Informatik. Vieweg Verlag, 4. Auflage, 2006.
Klaus W. Wagner: Theoretische Informatik. Eine kompakte
Einfhrung. Springer-Verlag, 2. Auflage, 2003.
Ingo Wegener: Theoretische Informatik. Eine
algorithmenorientierte Einfhrung. Teubner, 3. Auflage, 2005.
7 / 12
Theoretischen Informatik
8 / 12
Mathematik und Informatik
9 / 12
Themen der theoretischen Informatik in dieser Vorlesung
Logik
Formale Sprachen und Automaten
Berechenbarkeit
NP-Vollstndigkeit
nicht: Informationstheorie, Kryptographie, Algorithmik, formale
Methoden, Quantencomputer,...
10 / 12
Themen der theoretischen Informatik: Motivation
Logik
was ist ein korrekter Beweis, Grundlage der Informatik
Formale Sprachen und Automaten
Syntax von Programmen und natrlicher Sprache,
Determinismus,
regulre Ausdrcke: Lexing im Compiler, Grep, ...
Automaten: Compiler, Systementwicklung, UML, SysML,
Statecharts, ...
Grammatiken: Parsing im Compiler, KI, NLP, ...
Berechenbarkeit
was kann von einem Computer gelst werden und was nicht
primitiv-rekursive Funktionen: funktionale Programmierung
Theorem von Rice: automatische Programmanalyse
NP-Vollstndigkeit
was kann von einem Computer effizient gelst werden
11 / 12
Theoretische Informatik: Motivation
12 / 12