TUD Logo

TUD Home » ... » Teaching » Summer Term 2014 » Deduction Systems

Computational Logic

Deduction Systems

Summer Term 2014

Course Description

Students will be introduced to the design and use of various deduction systems: Prolog, Tableaux-Prover and Answer Set Programming.

Lecturer:  Prof.  Sebastian Rudolph

Module:  MCL-ILS

Status:  basic unit

SWS (lecture/tutorial/practical):  1/1/0

Examination method:  written examination


  • none


The lecture takes place weekly in room E005: Wednesday 13:00-14:30 (DS 4)

Handouts and Slides

Last modified: 26th Jun 2014, 11.44 AM
Author: Dr. Sarah Gaggl