---
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](http://uniformal.github.io).

Materials:

* [KRMT on StudOn](https://www.studon.fau.de/crs4499012.html)
* [Course on zoom](Https://fau.zoom.us/j/65839665250)
* [Videos on FAU.tv](Https://www.fau.tv/course/id/3065)
* [Course Notes, Resources](http://kwarc.info/teaching/KRMT)
* [Formalization Tutorialz](https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/tutorial/mmt-math-tutorial.pdf)
* [Formalizations of the last years](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)