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 11:30 - 13:00HG Raum 0.17Dr. R. Gengler
ÜbungMo 15:30 - 17:00HG Raum 0.17Dr. R. Gengler

Mitteilungen

  • NEU:  Klausureinsicht Dienstag, 9. April 2019 um 15:30  in HG 2.44
  • um Fragestunde/freiwillige Übung während der vorlesungsfreien Zeit:
  • Mittwochs 13:45 - 15:45 im HG 0:18 vom 06.02.2019 bis  20.03.2019.
  • Tutorium am Mittwoch, 30.01.2019 11:30 - 13:00 findet doch statt.
    Mittwoch, 13.02.2019 fällt wegen dem Fakultätsrat aus.
  • Tutorium statt Vorlesung am Donnerstag, 24.01.2019  11:30 - 13:00 im HG SR 1,
    der Tutoriums-Block von 09:15 - 10:45 fällt an diesem Tag aus, bitte im anderen Block kommen.
  • Vorlesung statt Tutorium am Mittwoch, 23.01.2019 11:30 - 13:00 im HG 0.17
  • Zusätzliche Übung: Freitag, 04.01.2019 14:00 - 16:00 in HG 2.44
  • Zusätzliche Übung: Donnerstag, 03.01.2019 14:00 - 16:00 in HG 2.44
  • 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.
  • Modul 11787
  • Start der Vorlesungen: Dienstag, 09.10.2018
  • Start des Tutoriums: Donnerstag, 11.10.2018
  • Start der Übung: Montag, 15.10.2018
  • Informationen zur Modulanmeldung/-abmeldung (neue Webseite!)
  • Online-Portal Modulanmeldung/-abmeldung (neue Webseite!)
  • Ebenfalls erforderlich für einen erfolgreichen Abschluss des Moduls ist die parallele Anmeldung auf der BTU-Lernplattform Moodle
  • Abschlussklausur: Dienstag, 26.03.2019, 14.00 - 17:00 Uhr, Großer Hörsaal
  • Wiederholungsklausur: Montag, 23.09.2019, 14.00 - 17:00 Uhr, ZHG SR 1

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: 14.10.2018
Übungsblatt 2
online ab: 20.10.2018
Übungsblatt 3
online ab: 27.10.2018
Übungsblatt 4
online ab: 03.11.2018
Übungsblatt 5
online ab: 09.11.2018
Übungsblatt 6
online ab: 17.11.2018
Übungsblatt 7
online ab:  23.11.2018
Übungsblatt 8
online ab: 02.12.2018
Übungsblatt 9
online ab: 09.12.2018
Übungsblatt 10
online ab: 15.12.2018
Übungsblatt 11
online ab: 04.01.2019
Übungsblatt 12
online ab: 12.01.2019
Übungsblatt 13
online ab: 12.01.2019
Übungsblatt 14
online ab:  20.01.2019

Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Statistik

Für den Zweck der Statistik betreiben wir die Plattform Matomo, auf der mittels pseudonymisierter Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden kann. Dies gibt uns die Möglichkeit Websiteinhalte zu optimieren.

Name Zweck Ablauf Typ Anbieter
_pk_id Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern. 13 Monate HTML Matomo
_pk_ref Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern. 6 Monate HTML Matomo
_pk_ses Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern. 30 Minuten HTML Matomo