Explore GitLab
Discover projects, groups and snippets. Share your projects with others

Elementary set theory for the SMGloM




Slides and notes for talks held by Michael Kohlhase

The SMGloM modules for elementary algebra.

The slides and course notes of the course Computational Logic.

The Course "LogikBasierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen

The course materials for the Lecture Logic Based Language Processing at FAU

The slides and course notes of the course Computational NL Semantics.

The Course General ICT at Jacobs University


Graph Theory Modules in SMGloM

Number Theoretic Identities

The SMGloM modules on linear algebra.


Number Theory

magic squares and their friends
