KRMT.md

---
layout: course

title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
instructor:
    - omkohlhase

semesters:
    - SS17
---

Dieser Kurs behandelt Grundlagen der Mathematik, Modulare Formalisierung in
Theoriegraphen, Narrative Strukturen in informellen mathematisch/technischen Dokumenten,
Formalisierung von Logiksprachen in Metalogiken.

Da wir nur wenige Studenten erwarten, wollen wir diesen Kurs sehr interaktiv und
Projektorientiert aufbauen.