diff --git a/courses/KRMT.md b/courses/KRMT.md index 2c38dcb93c3d7a3b5c7ed5953a19dbbf7c1c4d13..c1da941203d3ee813f2c628f910ee1beb3783526 100644 --- a/courses/KRMT.md +++ b/courses/KRMT.md @@ -1,11 +1,11 @@ --- layout: course -title: Vorlesung *Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen* +title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen instructor: mkohlhase semesters: - - SS16/17 + - SS17 --- Dieser Kurs behandelt Grundlagen der Mathematik, Modulare Formalisierung in