Sie sind auf Seite 1von 12

Info IV: Organisation

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

Wichtig: bis morgen, 19.04.2017, im LSF fr die bungen


anmelden!
Whlen Sie bitte, falls mglich, mehrere Gruppen aus
Das LSF wird anhand der gewhlten Prioritten versuchen, Sie
fair auf die Gruppen zu verteilen
Die bungen beginnen mit Dienstag, dem 2. Mai
Bei Ausfall durch Feiertage verteilen Sie sich bitte selbst auf
die anderen Gruppen

3 / 12
bungsbetrieb

Bltter 1 bis 3 werden auf die Homepage gestellt


(https://www.cs.hhu.de/index.php?id=107637)
Bltter 4 bis 12 werden ber das ILIAS verteilt
(https://ilias.hhu.de)
Blatt 1 ist bereits online
Abgabe: Einwurf in einen mit Info IV beschrifteten
Briefkasten auf 25.13.O2 bis 8:30 Uhr (strikt!)
Nicht mit Bleistift schreiben!
Doppelabgaben sind erlaubt
Abschreiben bzw. Abgabe gleicher bungszettel wird geahndet

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

Analyse von Problemen und Strukturen der Informatik mit


mathematischen Methoden

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

mathematische Grundlage der Informatik


wichtig fr Compilerbau, Entwicklung effizienter Algorithmen,
IT-Sicherheit, sicherheitskritische Systeme, Quantencomputer,
Optimierung und Lsung komplexer Probleme, ...
bleibt aktuell
kann Spa machen

12 / 12