CS206 Theorie der Informatik

Dozent Malte Helmert
Gabriele Röger
Tutoren Manuel Heusner
Florian Pommerening
Jendrik Seipp
Silvan Sievers
Vorlesung Montag 13:15 - 15:00; Bernoullistrasse 16, Seminarraum 205
Mittwoch 15:15 - 17:00; Bernoullistrasse 16, Seminarraum 205
Startveranstaltung 17.2.2014
Prüfungszulassung Erreichen von mindestens 50% der möglichen Punkte aus den Übungen.
Prüfung Schriftlich. Die Note für die Vorlesung ergibt sich ausschliesslich aus dieser Prüfung.
Übungen Mo 15:15-17:00; Seminarraum 205
Kurzbeschreibung Die Vorlesung bietet eine Einführung in die theoretische Informatik. Schwerpunktthemen sind: Logik, Automatentheorie und formale Sprachen, Berechenbarkeits- und Komplexitätstheorie.
Zielpublikum Bachelor, 2. Semester
Literatur U. Schöning: "Theoretische Informatik - kurz gefasst", 5. Aufl., Spektrum Verlag, 2008
U. Schöning: "Logik für Informatiker", 5. Aufl., Spektrum Verlag, 2000
Anmeldung Belegen - Gruppenzuweisung
Kreditpunkte 6 ECTS-Punkte
Vorlesungsverzeichnis Nr. 10948-01