Vorlesung Grundlagen der Theoretischen Informatik (SS 2017)

Aktuelles

Die Klausureinsicht findet Montag, den 06.11., um 14:00 in H-C 3310 statt.

AUS GESUNDHEITLICHEN GRÜNDEN MUSS DER PRÜFUNGSVORBEREITUNGSKURS VON HERR HUCKE ERSATZLOS ENTFALLEN! 

Prüfungsvorbereitungskurs 

• Wer?
  • Danny Hucke 
• Wo?
  • Raum PB-A 117/1 (Paul Bonatz)
• Wann?
  • Montag, 14.08.2017, 10:00 - 12:00 Uhr und 13:30 - 15:30 Uhr
  • Dienstag, 15.08.2017, 10:00 - 12:00 Uhr und 13:30 - 15:30 Uhr
  • Mittwoch, 16.08.2017, 10:00 - 12:00 Uhr und 13:30 - 15:30 Uhr
  • Donnerstag, 17.08.2017, 10:00 - 12:00 Uhr und 13:30 - 15:30 Uhr
• Was?
  • Es werden die Themengebiete der Vorlesung mit Hilfe konkreter Aufgabenstellungen wiederholt.
  • Eine angemessene Vorbereitung der Kursteilnehmer wird vorausgesetzt, d.h. es werden nicht alle Konzepte der Vorlesung wiederholt. Die Aufgaben werden unter der Annahme besprochen, dass die grundlegenden Formalismen bekannt sind.

 

Organisatorisches

• Veranstalter: Prof. Dr. Markus Lohrey
• Vorlesungstermine:
  • Dienstag, 14:00-16:00, in AR-D 5104 grüner Hörsaal
  • Donnerstag, 14:00-16:00, in PB-I 001 Hörsaal
• Übungen:
  • Montag, 8:00-10:00, in H-C 6336/37 (Louisa Seelbach Laura Kaufmann)
  • Dienstag, 16:00-18:00, in H-F 116 (Laura Kaufmann)
  • Mittwoch, 12:00-14:00, in H-C 7326 (Simon Plasger)
  • Mittwoch, 16:00-18:00, in H-C 6336/37 (Carl Philipp Reh)
  • Donnerstag, 10:00-12:00, in H-F 001 (Danny Hucke Louisa Seelbach)
  • Freitag, 12:00-14:00, in H-F 112 (Laura Kaufmann)

---

Einige Themen

• Formale Sprachen
• Chomsky Hierarchie
• Endliche Automaten
• Kontextfreie Grammatiken
• Kellerautomaten
• Berechenbarkeit und Unentscheidbarkeit
• Komplexität, insbesondere P versus NP

---

Folien (Version vom 16.07.2016)

---

Übungsblätter

• Blatt 1
• Blatt 2
• Blatt 3
• Blatt 4
• Blatt 5
• Blatt 6
• Blatt 7
• Blatt 8
• Blatt 9
• Blatt 10
• Blatt 11
• Blatt 12
• Blatt 13
• Blatt 14

---

Lehrbücher

• Uwe Schöning, Theoretische Informatik - kurz gefasst, Spektrum Akademischer Verlag

---