TUD Logo

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

Computational Logic

Deduction Systems

Course Description

Lecturers:
Dr. Bruscoli
Prerequisites:
none

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

Time Table

  • Wednesdays 4.DS (E 005) - lectures and tutorials by turns

References

Last modified: 4th Apr 2011, 1.11 PM
Author: Dipl.-Inf. Sebastian Haufe