TUD Logo

TUD Startseite » ... » Lehre » 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

Prerequisites:

  • none

Organization

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

Handouts and Slides

Stand: 26.6.2014, 11:44 Uhr
Autor: Dr. Sarah Gaggl