complog.md

layout: course

title: Computational Logic
instructors:
    - mkohlhase
    - frabe
    - dmueller
    
organization: Jacobs University
semesters:
    - Fall05
    - Fall07
    - Fall09
    - Fall11
    - Fall13
    - Fall15

Theory and machine-oriented inference for propositional, first-order, higher-order, modal, and description logics.

The course resources (course notes, literature, assignments) can be found here.