Veranstaltungen

Kurse

• 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 1901: Seminar praktische Informatik (Wintersemester)
• Seminar 1911: Seminar praktische Informatik (Sommersemester)