KRMT.md

layout: course
title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
instructors:
    - mkohlhase
    - dmueller
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. Im wesentlichen werden wir gemeinsam mathematisches Wissen und Beschreibungssprachen in OMDoc/MMT formalisieren.

Materialien:

• Course Notes (Computational Logic)
• Tutorial zur Formalisierung
• Formalisierungen des letzten Kurses