621.315 (18W) Logic Programming
Overview
- Lecturer
- Course title german Logische Programmierung
- Type Lecture - Course (continuous assessment course )
- Hours per Week 2.0
- ECTS credits 4.0
- Registrations 34 (25 max.)
- Organisational unit
- Language of instruction English
- possible language(s) of the assessment German
- Course begins on 03.10.2018
- eLearning Go to Moodle course
Time and place
List of events is loading...
Course Information
Intended learning outcomes
The course covers Answer Set Programming (ASP) and Prolog, which are two popular logic programming languages.
Teaching methodology including the use of eLearning tools
Classroom instructions mixed with practical exercises. The teaching language is English or German depending on the preferences of the audience. The slides are in English.
Course content
- Logic programming
- Answer set programming
- Prolog
- Combinatorial optimizazion
- Search
Prior knowledge expected
Basic understanding of algorithms and data structures. A course in logic is a plus.
Examination information
Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.
Grading scheme
Grade / Grade grading schemePosition in the curriculum
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 17W.1)
-
Subject: Grundlagen der Softwareentwicklung
(Compulsory subject)
-
2.6 Logische Programmierung (
2.0h VC / 4.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 4.0 ECTS) Absolvierung im 4. Semester empfohlen
-
2.6 Logische Programmierung (
2.0h VC / 4.0 ECTS)
-
Subject: Grundlagen der Softwareentwicklung
(Compulsory subject)
- Bachelor's degree programme Applied Informatics
(SKZ: 511, Version: 12W.1)
-
Subject: Principles of Software Development
(Compulsory subject)
-
Logik und logische Programmierung (
2.0h UE / 4.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 4.0 ECTS) Absolvierung im 4. Semester empfohlen
-
Logik und logische Programmierung (
2.0h UE / 4.0 ECTS)
-
Subject: Principles of Software Development
(Compulsory subject)
- Bachelorstudium Informatik
(SKZ: 521, Version: 09W.3)
-
Subject: Softwareentwicklung
(Compulsory subject)
-
Logik und logische Programmierung (
2.0h PR / 3.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 4.0 ECTS)
-
Logik und logische Programmierung (
2.0h PR / 3.0 ECTS)
-
Subject: Softwareentwicklung
(Compulsory subject)
- Bachelorstudium Technische Mathematik
(SKZ: 201, Version: 17W.1)
-
Subject: Informatik
(Compulsory elective)
-
13.1 Lehrveranstaltungen aus dem Erweiterungscurriculum "Grundlagen der Informatik" (
0.0h XX / 12.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 4.0 ECTS) Absolvierung im 1., 2., 3., 4., 5., 6. Semester empfohlen
-
13.1 Lehrveranstaltungen aus dem Erweiterungscurriculum "Grundlagen der Informatik" (
0.0h XX / 12.0 ECTS)
-
Subject: Informatik
(Compulsory elective)
- Erweiterungscurriculum Grundlagen der Informatik
(Version: 16W.1)
-
Subject: Erweiterung Wissensverarbeitung
(Compulsory elective)
-
Logik und logische Programmierung (
0.0h UE / 4.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 4.0 ECTS)
-
Logik und logische Programmierung (
0.0h UE / 4.0 ECTS)
-
Subject: Erweiterung Wissensverarbeitung
(Compulsory elective)
- Erweiterungscurriculum Vertiefung der Informatik
(Version: 16W.1)
-
Subject: Wissensverarbeitung
(Compulsory elective)
-
Logik und logische Programmierung (
0.0h UE / 4.0 ECTS)
- 621.315 Logic Programming (2.0h VC / 4.0 ECTS)
-
Logik und logische Programmierung (
0.0h UE / 4.0 ECTS)
-
Subject: Wissensverarbeitung
(Compulsory elective)
Equivalent courses for counting the examination attempts
-
Sommersemester 2024
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Wintersemester 2023/24
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Sommersemester 2023
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Wintersemester 2022/23
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Sommersemester 2022
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Wintersemester 2021/22
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Sommersemester 2021
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Wintersemester 2020/21
- 621.315 VC Logische Programmierung (2.0h / 3.0ECTS)
-
Sommersemester 2020
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Wintersemester 2019/20
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Sommersemester 2019
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Sommersemester 2018
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Wintersemester 2017/18
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
- Sommersemester 2017
-
Wintersemester 2016/17
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Sommersemester 2016
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Wintersemester 2015/16
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
- Sommersemester 2015