Kennenlernen wichtiger Logiken zur Wissensrepräsentation.
Didaktisches Vorgehen: Selbständige Erarbeitung von Übungsaufgaben; Abgaben von Beispielen und Vorrechnen an der Tafel.
In dieser UE werden wir uns mit unterschiedlichen Logiken zur Wissensrepräsentation beschäftigen, sowie mit computationalen Aspekten. Der Inhalt folgt der gleichnamigen VO.
Achtung:
ECTS Aufschlüsselung: 3 ECTS = 75 Stunden