Explore projects

The slides and course notes of the course Computational Logic.

The metadata for the MiKoMH project at MathHub.info

The slides and course notes of the course General Computer Science at Jacobs University.

Graph Theory Modules in SMGloM

Basics for formal grammars

User Manual and Documents about the ALeA (Adaptive Learning Assistant) System.

The metadata for the MiKoCourses project at MathHub.info

The Formalizations for the UFrameIT-based serious game FrameWorld.

Basic concepts about computers and programming

Metalogical frameworks that extend LF - the Edinburgh Logical Framework. These provide common features - e.g. record types, subtyping, or flexary functions - of logical languages at the meta-level for inheritance in LFX-specified logics.

The concepts from the AI lecture at MiKoMH/AI

Slides and notes for talks held by Michael Kohlhase

An SMGloM Archive for Logic

The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg