Grundlagen der Theoretischen Informatik

Pflichtmodul im 3. Fachsemester

Voraussetzung

  • Grundkenntnisse der Programmierung

Inhalt

  • Mathematische Grundlagen (Mengen, Relationen, Funktionen, formale Sprachen)
  • Endliche Automaten, Kellerautomaten, Turing-Maschinen; deterministische und indeterministische Automaten
  • Komplexität; lösbare und unlösbare Probleme
  • Logik (Aussagenlogik)

Literatur

  • Lämmel/Cleve: Lehr- und Übungsbuch Künstliche Intelligenz. Hanser-Verlag 2008.

Dozent

2 SWS Vorlesung
0 SWS Seminaristische Übung
2 SWS Übung
0 SWS Praktikum

Prüfung
120 min. schriftlich 
oder 20 min. mündlich

Wert
5 Credits