Logic-Based Representation of Mathematical/Technical Knowledge
Prof. Dr. Michael Kohlhase
PD Dr. Florian Rabe

Summer 2017
Summer 2018
Summer 2019
Summer 2020
Summer 2021
Summer 2022
Summer 2023
Summer 2025

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.