KRMT.md

layout: course
title: Logic-Based Representation of Mathematical/Technical Knowledge
instructors:
  - mkohlhase
  - frabe
semesters:
    - SS17 
    - SS18 
    - SS19 
    - SS20 
    - SS21 
    - SS22 
    - SS23 
    - SS25 

This course covers the foundations of mathematics, modular formalizations in theory graphs, narrative structures in informal mathematical/technical documents, and the formalization of logical languages in meta-logical frameworks.

This is (tradictionally) a small course, so we can make it very interactive and project-like. The contents are split between

• lectures, where we discuss the concepts and
• labs, where we jointly formalize mathematical knowledge and representation languages in OMDoc/MMT.

Materials:

• KRMT on StudOn
• Course on zoom
• Videos on FAU.tv
• Course Notes, Resources
• Formalization Tutorialz
• Formalizations of the last years