+++ ab WS 2017/18 neue Modulnummer: 11787 +++

VorlesungenDi 11:30 - 13:00HG Raum 0.20Prof. Dr. K. Meer
Fr 9:15 - 10:45ZHG SR 4Prof. Dr. K. Meer
TutoriumMi 11:30 - 13:00HG Raum 0.17Dr. R. Gengler
ÜbungMo 15:30 - 17:00HG Raum 0.17Dr. R. Gengler

Mitteilungen

  • Mo, 09.04.2018  13:15 - 14:45: Klausureinsicht
  • In der vorlesungsfreien Zeit wird es Fragestunden geben.
    Termin: wöchentlich Mittwochs 13:45-15:15 HG 2.44
    - Mittwoch 14.02.2018:  nur von 13:45 -14:45 (da anschließend Fakultätsrat)
    - Mittwoch 28.02.2018:  Ausfall
  • Zusätzliche Fragestunde zur Theoretischen Informatik
    Do, 04.01.2018, 14 - 16 Uhr in HG 2.44
  • Start der Vorlesungen: Dienstag, 17.10.2017
  • Start des Tutoriums: Mittwoch, 18.10.2017
  • Start der Übung: Montag, 16.10.2017
  • Die Studierenden müssen sich in den ersten zwei Wochen online
    oder beim Studiengangsbearbeiter zum Modul anmelden.
  • Bis zum 24.11.2017 (Ende der siebten Woche) kann noch der Rücktritt von der Prüfung erklärt werden.
    Wer sich online angemeldet hat, kann sich nur online abmelden.
    Die anderen erklären den Rücktritt beim Studiengangsbearbeiter.

Termine

1. Frist Übungsblätter05. Februar 2018
2. Frist Übungsblätter20. Februar 2018
3. Frist Übungsblätter02. März 2018
Klausur29. März 2018, 14:00 bis 17:00 im Großen Hörsaal
Wiederholungsklausur24. September 2018, 14:00 bis 17:00 im Seminarraum 1 des ZHG

Literatur

Die Vorlesung folgt nicht ausschließlich einem Lehrbuch oder Skript.
Die folgenden Literaturangaben sind als ergänzende Quellen zu verstehen, um Themen der Vorlesung nochmals vertieft und teilweise in alternativer Darstellung nachzulesen.

  • Alexander Asteroth, Christel Baier:
    Theoretische Informatik: eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen
    ,
    Pearson Studium 2002.

  • Peter Bachmann: Grundlagen der Theoretischen Informatik, bookboon.com, 2015.
    Kostenloser Download hier

  • Katrin Erk, Lutz Priese: Theoretische Informatik - Eine umfassende Einführung,
    eXamen.press, 2008. [auf dem Campus online lesbar]

  • Dirk W. Hoffmann: Theoretische Informatik, Hanser, 2009.

  • John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman:
    Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit, 3.
    ,
    aktualisierte Auflage, Pearson Studium 2011.

  • Juraj Hromkovic: Theoretische Informatik Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie, Teubner, 2007. [auf dem Campus online lesbar]

  • Dexter C. Kozen: Automata and Computability, Springer 1997.

  • Harry R. Lewis, Christos H. Papadimitriou: Elements of the Theory of Computation, Prentice Hall, 1981.

  • John E. Savage: Models of computation: Exploring the Power of Computing, Addison-Wesley, 1998.
    [elektronisch verfügbar auf der Webseite von Prof. John Savage, Computer Science Department, Brown University]

  • Michael Sipser: Introduction to the Theory of Computation, 3rd Edition, Cengage Learning 2013.

Übungsblätter

Übungsblatt 1
online ab: 13.10.2017
Übungsblatt 2
online ab: 21.10.2017
Übungsblatt 3
online ab: 28.10.2017
Übungsblatt 4
online ab: 04.11.2017
Übungsblatt 5
online ab: 11.11.2017
Übungsblatt 6
online ab: 18.11.2017
Übungsblatt 7
online ab:25.11.2017
Übungsblatt 8
online ab: 01.12.2017
Übungsblatt 9
online ab: 08.12.2017
Übungsblatt 10
online ab: 16.12.2017
Übungsblatt 11
online ab: 22.12.2017
Übungsblatt 12
online ab: 13.01.2018
Übungsblatt 13
online ab: 21.01.2018
Übungsblatt 14
online ab:  28.01.2018