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