en | de

Logic

bachelor program

VO3 + PS2  WS 2010/2011  703019 + 703020

Description

The course provides an introduction to logic, logic programming, and model checking.

Literature

The course is largely based on the following book: Books on logic programing and Prolog include Slides as well as solutions to selected exercises will be made available online.

Language

The course is taught in English. The exercises are conducted in German. Part of the contents of the course is covered in the following German book: