About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Summer Term 2015  -  Deduction Systems


Course title:   Deduction Systems

Lecturer:   Prof. Sebastian Rudolph

Module:   MCL-ILS

Status:   basic unit

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

Examination method:   written examination

Prerequisites:

Course description:

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

Additional information: