Explore projects

The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg

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

Graph Theory Modules in SMGloM

Basic concepts about computers and programming

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 slides and course notes for the course Text and Digital Media at Jacobs University

The slides and course notes of the course Computational Logic.

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

The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.

Flexiformalization of Concepts from Epistemology and Metaphysics - The Philosophy of Science

Basics for formal grammars

A math archive with the KWARC bibs from https://github.com/KWARC/bibs

The SMGloM modules for calculus

An SMGloM Archive for Logic

Homework/Quiz problems for AI lectures