Startseite › Lehre › Veranstaltungen
Veranstaltungen
Kurse
- Kurs 01601: Formale Grundlagen der Informatik
- Kurs 01695: Deduktions- und Inferenzsysteme
- Kurs 01696: Wissensbasierte Systeme
- Kurs 01816: Logisches und funktionales Programmieren
- Kurs 01843: Einführung in wissensbasierte Systeme
- Kurs 01845: Methoden der Wissensrepräsentation und -verarbeitung
- Kurs 01852: Fortgeschrittene Konzepte Funktionaler Programmierung
Seminare
- Seminar "Commonsense Reasoning" (SS 2008)
- Seminar "Logisches und funktionales Programmieren" (WS 2008/09)