TUD Logo

TUD Home » ... » Teaching » Winter Term 2017/18 » Tutorial “Logic Programming Engineering”

Chair of Algebraic and Logical Foundations of Computer Science

Tutorial “Logic Programming Engineering” (0/2/0)

Dr. Klüppelholz

Language: English

Description

This is a Prolog programming tutorial supplementing the course “ Foundations of Logic Programming” (FLP). The goal of the tutorial is to learn advanced programming techniques in Prolog for building complex applications.

Dates

The tutorial will have a first initial meeting at October 10th, 2017 in the 4. DS [13:00 am – 14:30 pm] in APB/E067. Students are encouraged to visit this first meeting to get detailed information about and to register for the tutorial.

Prerequisites

Knowledge in computer science on Bachelor level and comprehensive knowledge in logic and programming is required. Students should make sure that they have a working ZIH account.

Creditability

Bachelor Informatik
INF-B-510: Vertiefung in der Informatik
Master Computational Logic
MCL-LCP: Logic and Constraint Programming

Mailinglist

Please subscribe to the mailing list if you are attending this tutorial.

Slides and Exercises

Contact

For questions please contact Dr. Klüppelholz.

Last modified: 30th Jan 2018, 1.43 PM
Author: Dipl.-Inf. Steffen Märcker