Explore projects

The problems for the course Computational Logic at Jacobs University

OMDoc/MMT Tutorial for Mathematicians

The problems of the course Advanced Computer Science at Jacobs University.

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