Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
The Formalizations for the UFrameIT-based serious game FrameWorld.
-
The SMGloM modules for elementary algebra.
-
The SMGloM modules for calculus
-
-
-
Slides and notes for talks held by Michael Kohlhase
-
The slides and course notes of the course Computational Logic.
-
The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
-
The SMGloM modules on linear algebra.
-
The slides and course notes of the course General Computer Science at Jacobs University.
-
The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
-
-
Basics for formal grammars
-
-
Graph Theory Modules in SMGloM
-
Elementary set theory for the SMGloM
-
The concepts from the AI lecture at MiKoMH/AI
-
An SMGloM Archive for Logic