Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • zolekode-master-patch-26857
  • zolekode-master-patch-78201
  • zolekode-master-patch-54259
  • zolekode-master-patch-38209
5 results

KRMT.md

Blame
  • KRMT.md 526 B
    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.