TUD Logo

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

Computational Logic

Deduction Systems

Summer Term 2013

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: Mondays 13:00-14:30 (DS 4)

On Monday 24th of June the lecture has been canceled. The ASP tutorial will take place on 1st of July.

Handouts and Slides

Last modified: 13th Aug 2013, 1.27 PM
Author: Webmaster

Ramona Behling

Phone: 463 38516
Fax: 463 32827
e-mail contact form