Theoretische Informatik WS 2020/2021

Modul 11787 

Vorlesungen Di 11:30 - 13:00onlineProf. Dr. K. Meer
Do 11:30 - 13:00onlineProf. Dr. K. Meer
ÜbungMo 15:30 - 17:00
Gruppe 1
Medizininformatik, IMT, Informatik Master
onlineDr. R. Gengler
(jeder 2 Blöcke Übung)Do 09:15 - 10:45
Gruppe 1
Medizininformatik, IMT, Informatik Master
onlineDr. R. Gengler
 Mi 11:30 - 13:00
Gruppe 2
Informatik Bachelor, Mathematik
onlineDr. R. Gengler
 Fr 15:30 - 17:00
Gruppe 2
Informatik Bachelor, Mathematik
onlineDr. R. Gengler
  Mi 13:45 : 17:00
(bei Bedarf, nur nach besonderer Ankündigung)
onlineDr. R. Gengler
    
    

Mitteilungen

  • Wichtig: Aufgrund der aktuellen Lage wird die Veranstaltung bis auf Weiteres zunächst in einem Online-Format stattfinden. Die Vorlesungen werden dabei wie bei einer Hörsaalvorlesung an einem Tablet präsentiert und online übertragen, vermutlich über Big Blue Button. Die jeweils entstehende Vorlesungsmitschrift wird Ihnen anschließend in Moodle zur Verfügung gestellt. Auch die Übungen werden online durchgeführt. Genauere Einzelheiten zum Ablauf werden Ihnen zu Beginn der jeweiligen Veranstaltungen mitgeteilt. Die besonderen Umstände erfordern von allen Beteiligten erhöhten Aufwand und speziell auf Ihrer Seite eine erhöhte Disziplin, um dem Stoff zu folgen. Die Art der Stoffvermittlung werden wir regelmäßig überprüfen und dann gegebenenfalls auch immer wieder anpassen. Sobald es vertretbar ist, den Unterricht in Präsenz duchzuführen, werden wir in einen Hörsaal wechseln. Momentan ist dies allerdings nicht absehbar.
  • Start der Vorlesungen: Dienstag, 03.11.2020
  • Start der Übung: Mittwoch/Donnerstag, 03/04.11.2020
    (ggf Gruppeneinteilung, Studierende der Medizininformatik besuchen bitte die Gruppe 1)
  • Informationen zur Modulanmeldung/-abmeldung
  • Online-Portal Modulanmeldung/-abmeldung
  • Ebenfalls erforderlich für einen erfolgreichen Abschluss des Moduls ist die parallele Anmeldung auf der BTU-Lernplattform Moodle (Anmeldung ohne Kennwort). Dort finden Sie jeweils die Links zu den aktuellen Big Blue Button Veranstaltungen sowie zusätzliche Unterlagen, insbesondere die Vorlesungsmitschriften.
  • Regelung für Wiederholer: Wer im Wintersemester 2019/20 die Vorleistung zur Prüfungsteilnahme erbracht hat, aber bei der Klausur im September 2020 nicht erfolgreich oder an der Teilnahme verhindert war, kann die nächste Klausur im Frühjahr 2021 ohne nochmaliges Bestehen der Vorleistung mitschreiben. Gleiches gilt für diejenigen, die ihre Note in einem Freiversuch verbessern möchten.

Termine

Abschlussklausur23. März 2021
Wiederholungsklausur 

Übungsblätter

Übungsblatt 1
online ab: 06.11.2020
Übungsblatt 2
online ab: 13.11.2020
Übungsblatt 3
online ab: 20.11.2020
Übungsblatt 4
online ab: 27.11.2020
Übungsblatt 5
online ab: xx.12.2020
Übungsblatt 6
online ab: xx.12.2020
Übungsblatt 7
online ab: xx.12.2020
Übungsblatt 8
online ab: xx.01.2021
Übungsblatt 9
online ab: xx.01.2021
Übungsblatt 10
online ab: xx.01.2021
Übungsblatt 11
online ab: xx.01.2021
Übungsblatt 12
online ab: xx.02.2021
Übungsblatt 13
online ab: xx.02.2021
Übungsblatt 14
online ab: xx.02.2021

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.

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