Vorlesung Theoretische Informatik für Ingenieur-Informatiker und Sekundarschullehrer im berufsbegleitenden Studium
Sommersemester 2004

Prüfung/Schein:

• Ing-IF: Schriftliche Prüfung (zu dieser Vorlesung und zur Vorlesung Logik)
  Termin: 29.07.2004, 8:00-10:00 Uhr, Hörsaal 3
• Sekundarschullehrer: Klausur zum Erwerb eines unbenoteten Übungsscheines
  Termin: 21.09.2004, 9:30-11:00 Uhr, G29-E037
  Konsultation: 31.08.2004, 13:00-15:00 Uhr, G29-E037
  

Inhalt:

Literatur:

• Skript
• Kapitel 1 (Mathematische Grundlagen)
• Kapitel 2, Teil 1 (Berechenbarkeitsbegriffe)
• Kapitel 2, Teil 2 (Entscheidbarkeit)
• Kapitel 3 (Komplexit"atstheorie)
• Kapitel 4, Teil 1
• Kapitel 4, Teil 2
• U. Schöning: Theoretische Informatik - kurzgefaßt. Spektrum Akademischer Verlag, 1994.

Folien:

• Folien 0 (Mathematische Grundlagen)
• Folien 1 (Turingberechenbarkeit)
• Folien 2 (WHILE-Berechenbarkeit)
• Folien 3 (Entscheidbarkeit, Unentscheidbarkeit des Halteproblems)
• Folien 4 (Komplexitätstheorie)
• Folien 5 (Formale Sprachen, Teil 1)
• Folien 6 (Reguläre Sprachen)
• Folien 7 (Kontextfreie Sprachen)
• Folien 8 (Formale Sprachen - Zusammenfassung)

Übungsblätter:

• Serie 1, Termin: 27.04. bzw. 04.05.
• Serie 2, Termin: 11.05. bzw. 18.05.
• Serie 3, Termin: 25.05. bzw. 01.06.
• Serie 4, Termin: 08.06. bzw. 15.06.
• Serie 5, Termin: 22.06. bzw. 29.06.
• Serie 6, Termin: 06.07. bzw. 13.07.

Informationen:

• Stundenplan laut Univis
• Die Vorlesungen beginnen jeweils um 11:00 Uhr
• Die Ergebnisse der Klausur für die Sekundarschullehrer finden Sie hier.