Vorlesung Grundlagen der Theoretischen Informatik (SS 2016)

Aktuelles

• Die Klausureinsicht findet am Mittwoch, den 28. September, um 12:30-14:30 Uhr im Raum H-A 7117 statt.
• Die vorläufigen Klausurergebnisse sind nun im LSF einsehbar. Ein Termin für die Klausureinsicht wird demnächst bekanntgegeben.

Organisatorisches

• Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7103, Tel. 0271-740-2826)
• Vorlesungstermine:
  • Dienstag, 14:00-16:00, im AR-D 5102 (blauer Hörsaal)
  • Donnerstag, 14:00-16:00, im PB-I 001
• Übungen:
  • Dienstag, 16:00-18:00 im H-F 116 (Antonia Vitt)
  • Mittwoch, 12:00-14:00 im H-C 7324 (Danny Hucke)
  • Mittwoch, 16:00-18:00 im H-C 6336/37 (Moses Ganardi)
  • Donnerstag, 10:00-12:00 im H-F 001 (Michael Figelius)
  • Donnerstag, 16:00-18:00 im H-F 112 (Moses Ganardi)
  • Freitag, 14:00-16:00 im H-F 001 (Daniel König)
• Tutorium: Freitag 12:00-14:00 im H-F 112 (Simon Plasger) 
• Klausurvorbereitungskurs:
  • 05.09 - 07.09 jeweils von 10:00-13:00 und 14:00-16:00 im H-C-3310
  • 08.09 10:00-13:00 im H-C 3310

---

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

---