KRMT.md

layout: course
instructor: Prof. Dr. Michael Kohlhase
title: Vorlesung *Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen*
menu_title: Vorlesung KRMT
taught: SS16/17

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.