Explore projects

The slides and course notes of the course Computational Logic.

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

The SMGloM modules for calculus

Basic concepts about computers and programming

An SMGloM Archive for Logic

Basics for formal grammars

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

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

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

Terminology in Computer Science

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