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.

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

The slides and course notes of the course Computational Logic.

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

Basic concepts about computers and programming

Elementary set theory for the SMGloM

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

An SMGloM Archive for Logic

Basics for formal grammars

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

Number Theory

special numbers in SMGloM