Theoretische Informatik WS 2018/2019

VorlesungenDi 11:30 - 13:00ZHG Seminarraum 1Prof. Dr. K. Meer
Do 11:30 - 13:00ZHG Seminarraum 1Prof. Dr. K. Meer
TutoriumDo 09:15 - 10:45HG Raum 0.18Dr. R. Gengler
   (Zusatztermin)Mi 12:30 - 13:00HG Raum 0.17Dr. R. Gengler
ÜbungMo 15:30 - 17:00HG Raum 0.17Dr. R. Gengler

Mitteilungen

  • Achtung Raumverlegung; Ab sofort finden die Vorlesung im Seminarraum 1 des ZHG statt.
  • Mittwoch 17.10.2018: Zusatztermin Tutorium fällt aus. Bitte den anderen Termin nutzen.
  • Link zu einer externen Seite Modul 11787
  • Start der Vorlesungen: Dienstag, 09.10.2018
  • Start des Tutoriums: Donnerstag, 11.10.2018
  • Start der Übung: Montag, 15.10.2018
  • Link zu einer externen Seite Informationen zur Modulanmeldung/-abmeldung (neue Webseite!)
  • Link zu einer externen Seite Online-Portal Modulanmeldung/-abmeldung (neue Webseite!)
  • Ebenfalls erforderlich für einen erfolgreichen Abschluss des Moduls ist die parallele Anmeldung auf der BTU-Lernplattform Link zu einer externen Seite Moodle
  • Abschlussklausur: Montag, 26.03.2019, 14.00 - 17:00 Uhr, Großer Hörsaal

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 Link zu einer externen Seite hier

  • Katrin Erk, Lutz Priese: Theoretische Informatik - Eine umfassende Einführung,
    eXamen.press, 2008. [Link zu einer externen Seite 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. [Link zu einer externen Seite 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.
    [Link zu einer externen Seite 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

Portables Dokumentenformat Übungsblatt 1
online ab: 14.10.2018
Portables Dokumentenformat Übungsblatt 2
online ab: 20.10.2018
Portables Dokumentenformat Übungsblatt 3
online ab: xx.10.2018
Portables Dokumentenformat Übungsblatt 4
online ab: xx.11.2018
Portables Dokumentenformat Übungsblatt 5
online ab: xx.11.2018
Portables Dokumentenformat Übungsblatt 6
online ab: xx.11.2018
Portables Dokumentenformat Übungsblatt 7
online ab:  xx.11.2018
Portables Dokumentenformat Übungsblatt 8
online ab: xx.12.2018
Portables Dokumentenformat Übungsblatt 9
online ab: xx.12.2018
Portables Dokumentenformat Übungsblatt 10
online ab: xx.12.2018
Portables Dokumentenformat Übungsblatt 11
online ab: xx.12.2018
Portables Dokumentenformat Übungsblatt 12
online ab: xx.01.2019
Portables Dokumentenformat Übungsblatt 13
online ab: xx.01.2019
Portables Dokumentenformat Übungsblatt 14
online ab:  xx.01.2019