Vorlesung Grundlagen der Theoretischen Informatik (SS 2014)

Aktuelles

• Die Klausurergebnisse finden Sie hier.
  
• Mit 50 Punkten ist die Klausur bestanden (4,0). Alle fünf Punkte ist dann eine bessere Notenstufe (55 Punkte sind also eine 3,7 usw).
  
• Am 7.10.14, 10-12h und 14-16h, gibt es eine Einsichtnahme zur Klausur in Raum H-A 8107. Die Nachnamen beginnend mit A-L mögen bitte zum ersten, die Nachnamen M-Z zum zweiten Termin kommen.
• Am 8.10.14, 14-16h, gibt es eine letzte Einsichtnahme zur Klausur in Raum H-A 7104. Bitte nutzen Sie diesen Termin nur, wenn Sie an den anderen Terminen verhindert sind.

Organisatorisches

• Veranstalter: Prof. Dr. Markus Lohrey (Raum H-A 7109, Tel. 0271-740-2826)
• Vorlesungstermine:
  • Dienstag, 14:00-16:00, im AR-D 5103 (roter Hörsaal)
  • Donnerstag, 14:00-16:00, im AR-D 5102 (blauer Hörsaal)
• Übungen :
  • Montag, 08:30-10:00 H-F 116 (Caroline Bender)
  • Dienstag, 16:00-18:00, im H-C 7324 (Danny Hucke)
  • Mittwoch, 12:00-14:00, im H-C 7324 (Tim Wesener)
  • Mittwoch, 16:00-18:00, im H-C 6336/37 (Danny Hucke)
  • Donnerstag, 10:00-12:00, im H-F 001 (Tim Wesener)
  • Donnerstag, 16:00-18:00, im H-F 112 (Moses Ganardi)
  • Freitag, 12:00-14:00, im H-C 6336/37 (Felix Nöh)
  • Freitag, 14:00-16:00, im H-F 001 (Felix Nöh)
• Tutorien (beide Eric Noeth):
  • Dienstag, 12:00-14:00, im H-A 8107
  • Mittwoch, 10:00-12:00, im H-A 8107

---

Einige Themen

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

---

Folien (Version vom 09.07.2014)

---

Ü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

---

Lehrbücher

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

---