Theoretische Informatik WS 2021/22

Modul 11787 

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

Mitteilungen

  • Aktuelle Information (Stand 11.11.2021): Aufgrund der aktuellen Entwicklung werden ab nächster Woche (also ab dem 16.11.) und bis auf Weiteres auch die Vorlesungen in Theoretischer Informatik online stattfinden. Die Zugangsdaten zum BBB-Server finden Sie in Moodle. Die heutige Vorlesung findet noch in Präsenz statt. Für diejenigen, die sich am Vorlesungstag aufgrund anderer Veranstaltungen auf dem Campus befinden, sollte es möglich sein, sich für die Dauer der Vorlesung in den betreffenden Hörsaal zu setzen und dort online an der Vorlesung teilzunehmen. Dazu muss aber zumindest für Hörsaal LG1A/304 jemand vorab den Schlüssel beim Wachschutz im Hauptgebäude abholen. Nehmen Sie in eigenem Interesse mit Mikrophon an der Veranstaltung teil.
  • Informationen (Stand 8.10.2021): Momentan sind 48 Teilnehmer angemeldet. Wir planen daher, die Vorlesungen zunächst in Präsenz zu beginnen. Je nach den Bedingungen im Hörsaal und dem weiteren Infektionsgeschehen ist aber durchaus denkbar, dass nach einiger Zeit zu einem Online-Modus gewechselt wird. Das können wir ja auch in den ersten Wochen gemeinsam diskutieren. Beachten Sie jedenfalls schon jetzt: Informieren Sie sich über die jeweils geltenden Hygieneregeln. Bei 1 Meter Mindestabstand dürfte Hörsaal HS 1 ausreichend sein, in Hörsaal 304 ist dieser Abstand wohl nicht einhaltbar, weshalb Sie dort mit Maske an der Vorlesung teilnehmen müssen. Bringen Sie auch warme Kleidung mit, da die Vorlesung jedenfalls bei offenen Fenstern gehalten wird (auch später im Jahr). Die Übungen und das Tutorium finden online statt (s.u.).
  • Wichtig: Aufgrund der weiterhin etwas unklaren Lage möchten wir zunächst genauere Information haben, wieviele Teilnehmer zu erwarten sind. Bitte melden Sie sich daher bis zum 6.10.2021 in Moodle für das Modul an. Je nach Lage entscheiden wir dann kurzfristig, ob die Veranstaltung in Präsenz oder online beginnt. Die Übungen werden jedenfalls online durchgeführt. Sollte auch die Vorlesung im Online-Format stattfinden, so werden dabei die Inhalte wie bei einer Hörsaalvorlesung an einem Tablet präsentiert und online übertragen (über Big Blue Button, der Link findet sich auf der Moodle-Seite). Die jeweils entstehende Vorlesungsmitschrift wird Ihnen anschließend in Moodle zur Verfügung gestellt. 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. Bei den Übungen muss jeder mit Mikro und möglichst mit Kamera teilnehmen.
    Schauen Sie insbesondere kurz vor Semesterstart regelmäßig auf diese Seite für aktuelle Informationen.
  • Start der Vorlesungen: Dienstag, 12.10.2021
  • Start der Übung: Donnerstag, 14.10.2021
    (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: Eine in vorhergehenden Semestern erbrachte Vorleistung zählt nicht mehr. Die Vorleistung muss daher neu erbracht werden. Ausgenommen davon sind Personen, die die Note einer bereits bestandenen Prüfung verbessern wollen.

Termine

Abschlussklausur (120 Minuten)29. März 2022, 11:00 - 13:00 Uhr, ZHG, Audimax 1 (updated 10 March 2022)
Wiederholungsklausur (120 Minuten)26. September 2022, 14:00h - 16:00h, ZHG, Audimax 1 (aktualisiert am 22.7.2022)

Übungsblätter

Erfolgskriterium: 75% der erreichbaren Gesamtpunkte.

Übungsblatt 1
online ab: 15.10.21
Übungsblatt 2
online ab: 22.10.21
Übungsblatt 3
online ab: 28.10.21
Übungsblatt 4
online ab: 05.11.21
Übungsblatt 5
online ab: 11.11.21
Übungsblatt 6
online ab: 19.11.21
Übungsblatt 7
online ab: 26.11.21
Übungsblatt 8
online ab: 02.12.21
Übungsblatt 9
online ab: 10.12.21
Übungsblatt 10
online ab: 17.12.21
Übungsblatt 11
online ab: 07.01.22
Übungsblatt 12
online ab: 14.01.22
Übungsblatt 13
online ab: 21.01.22
Übungsblatt 14
online ab: 28.01.22

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.

  • 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.