TUD Logo

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

Stand: 4.4.2011, 13:11 Uhr
Autor: Dipl.-Inf. Sebastian Haufe