Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results
Blame Permalink
Forked from KWARC / kwarc.info / www
810 commits behind the upstream repository.
KRMT.md 1.23 KiB 
layout: course
title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
instructors:
    - mkohlhase
    - dmueller
semesters:
    - SS17 
    - SS18 
    - SS19 
    - SS20

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:

Diskussionen finden auf dem FSI Forum KRMT statt. Dies ist eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum abonnieren!