Tutorial "Logic Programming Engineering"
Dr. Sascha Klüppelholz, Prof. Sebastian Rudolph
SWS: (0/2/0), in 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.
News: About the Online Exam
Information about the upcoming online exam and mock exam are now published on the OPAL website of this course. Please see "Course Material/Exam Information". More details will follow and will be published there once available.
Registration
Enrolling via OPAL is required until 28.10.2020 (noon).
Dates
The tutorial will have a first initial meeting on October 29th, 2020 in the 2. DS [9:20 am – 10:50 am] online. Please register in OPAL to receive further information. Students are then encouraged to visit this first vitual meeting to get more detailed information about 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
Master Computational Logic
- MCL-LCP: Logic and Constraint Programming
Master Computational Modeling and Simulation
- CMS-LM-BAS: Foundations of Logical Modeling
Diplom Informatik
- INF-BAS2: Künstliche Intelligenz
Contact
Dr. Sascha Klüppelholz
Eine verschlüsselte E-Mail über das SecureMail-Portal versenden (nur für TUD-externe Personen).