01601 Formale Grundlagen der Informatik
aus Fernuni-Wiki, der freien Wissensdatenbank
Organisatorisches
Dieser Kurs umfasst 2 + 1 SWS und 4 Kurseinheiten.
Fachliches
Idealer Erstsemesterkurs, der Grundkenntnisse für viele weitere Kurse vermittelt. Für die erfolgreiche Bearbeitung der Kurse Kurs 1696 (Wissensbasierte Systeme), Kurs 1825 (Logik für Informatiker), Kurs 1695 (Deduktions- und Inferenzsysteme) und Kurs 1845 (Methoden der Wissensrepräsentation und -verarbeitung) sind Vorkenntnisse aus diesem Kurs unerlässlich.
