Grundlagen der Theoretische Informatik

Slides

  • 15.04.2015: Einführung [introduction.pdf]
  • 16.04.2015: Terminologie (I) [terminologie.pdf]
  • 22.04.2015: Terminologie (II) [terminologie2.pdf] (nach der Vorlesung)
  • 23.04.2015: Terminologie (III) [terminologie3.pdf] (nach der Vorlesung)
  • 29.04.2015: Terminologie (IV) [terminologie4.pdf] (nach der Vorlesung)
  • 30.04.2015: Endliche Automaten (I) [endliche-automaten1.pdf] (nach der Vorlesung: kleine Änderungen auf Seiten 6-10, 25, 36-37)
  • 6.05.2015: Endliche Automaten (II) [endliche-automaten2.pdf] (nach der Vorlesung)
  • 7.05.2015: Endliche Automaten (III) [endliche-automaten3.pdf] (nach der Vorlesung)
  • 13.05.2015: Endliche Automaten (IV) [endliche-automaten4.pdf] (nach der Vorlesung)
  • 20.05.2015: Endliche Automaten (V) [endliche-automaten5.pdf] (nach der Vorlesung)
  • 21.05.2015: Endliche Automaten (VI) [endliche-automaten6.pdf] (nach der Vorlesung)
  • Beispiel: Berechnung eines regulären Ausdrucks für L(A) [beispiel1.pdf]
  • Beispiel: Berechnung eines Automaten mit L(A) = I(r) [beispiel2.pdf] (Corrected: 8.06.2015)
  • 3.06.2015: Kellerautomaten (I) [keller-automaten1.pdf] (nach der Vorlesung)
  • 11.06.2015: Kellerautomaten (II) [keller-automaten2.pdf] (nach der Vorlesung)
  • 17.06.2015: Kellerautomaten (III) [keller-automaten3.pdf] (nach der Vorlesung)
  • 18.06.2015: Kellerautomaten (IV) [keller-automaten4.pdf] (nach der Vorlesung)
  • 24.06.2015: Kellerautomaten (V) [keller-automaten5.pdf] (nach der Vorlesung)
  • 25.06.2015: Kellerautomaten (VI) [keller-automaten6.pdf] (nach der Vorlesung)
  • 1.07.2015: Kellerautomaten (VII) [keller-automaten7.pdf] (nach der Vorlesung)
  • 1.07.2015: Turing Maschinen (I) [turing-maschinen1.pdf] (nach der Vorlesung)
  • 2.07.2015: Turing Maschinen (II) [turing-maschinen2.pdf] (nach der Vorlesung)
  • 8.07.2015: Turing Maschinen (III) [turing-maschinen3.pdf] (nach der Vorlesung)
  • 9.07.2015: Turing Maschinen (IV) [turing-maschinen4.pdf] (nach der Vorlesung)
  • 15.07.2015: Turing Maschinen (V) [turing-maschinen5.pdf] (nach der Vorlesung)
  • 16.07.2015: Turing Maschinen (VI) [turing-maschinen6.pdf] (nach der Vorlesung)
  • 22.07 und 23.07.2015: Komplexität [komplexitaet.pdf] (nach der Vorlesung, 3.08.2015: Seite 44 - Korrektur (Definition Hamilton-Kreis))
  • Liste mit Themen für die erste Teilklausur [themen-tk1.pdf]
  • Liste mit Themen für die zweite Teilklausur [themen-tk2.pdf]