621.315 (19S) Logische Programmierung
Überblick
- Lehrende/r
- LV-Titel englisch Logic Programming
- LV-Art Vorlesung-Kurs (prüfungsimmanente LV )
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 4.0
- Anmeldungen 40 (25 max.)
- Organisationseinheit
- Unterrichtssprache Englisch
- mögliche Sprache/n der Leistungserbringung Deutsch
- LV-Beginn 06.03.2019
- eLearning zum Moodle-Kurs
- Studienberechtigungsprüfung Ja
- Seniorstudium Liberale Ja
Zeit und Ort
Liste der Termine wird geladen...
LV-Beschreibung
Intendierte Lernergebnisse
The course covers Answer Set Programming (ASP) and Prolog, which are two popular logic programming languages.
Lehrmethodik inkl. Einsatz von 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.
Inhalt/e
- Logic programming
- Answer set programming
- Prolog
- Combinatorial optimizazion
- Search
Erwartete Vorkenntnisse
Basic understanding of algorithms and data structures. A course in logic is a plus.
Literatur
- Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T.: Answer Set Solving in Practice. Morgan and Claypool, 2012.
- Eiter, T. et al.: Answer set programming: A primer. In: Reasoning Web. Semantic Technologies for Information Systems. 2009, pp. 40–110.
- Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., & Scarcello, F. (2006). The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic (TOCL), 7(3), 499–562.
- Bratko, I.: Prolog Programming for Artificial Intelligence (3rd edition), Pearson Education, Addison-Wesley, 2001
Prüfungsinformationen
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.
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 17W.1)
-
Fach: Grundlagen der Softwareentwicklung
(Pflichtfach)
-
2.6 Logische Programmierung (
2.0h VC / 4.0 ECTS)
- 621.315 Logische Programmierung (2.0h VC / 4.0 ECTS) Absolvierung im 4. Semester empfohlen
-
2.6 Logische Programmierung (
2.0h VC / 4.0 ECTS)
-
Fach: Grundlagen der Softwareentwicklung
(Pflichtfach)
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 12W.1)
-
Fach: Grundlagen der Softwareentwicklung
(Pflichtfach)
-
Logik und logische Programmierung (
2.0h UE / 4.0 ECTS)
- 621.315 Logische Programmierung (2.0h VC / 4.0 ECTS) Absolvierung im 4. Semester empfohlen
-
Logik und logische Programmierung (
2.0h UE / 4.0 ECTS)
-
Fach: Grundlagen der Softwareentwicklung
(Pflichtfach)
- Bachelorstudium Technische Mathematik
(SKZ: 201, Version: 17W.1)
-
Fach: Informatik
(Wahlfach)
-
13.1 Lehrveranstaltungen aus dem Erweiterungscurriculum "Grundlagen der Informatik" (
0.0h XX / 12.0 ECTS)
- 621.315 Logische Programmierung (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)
-
Fach: Informatik
(Wahlfach)
- Erweiterungscurriculum Grundlagen der Informatik
(Version: 16W.1)
-
Fach: Erweiterung Wissensverarbeitung
(Wahlfach)
-
Logik und logische Programmierung (
0.0h UE / 4.0 ECTS)
- 621.315 Logische Programmierung (2.0h VC / 4.0 ECTS)
-
Logik und logische Programmierung (
0.0h UE / 4.0 ECTS)
-
Fach: Erweiterung Wissensverarbeitung
(Wahlfach)
- Erweiterungscurriculum Vertiefung der Informatik
(Version: 16W.1)
-
Fach: Wissensverarbeitung
(Wahlfach)
-
Logik und logische Programmierung (
0.0h UE / 4.0 ECTS)
- 621.315 Logische Programmierung (2.0h VC / 4.0 ECTS)
-
Logik und logische Programmierung (
0.0h UE / 4.0 ECTS)
-
Fach: Wissensverarbeitung
(Wahlfach)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
-
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)
-
Wintersemester 2018/19
- 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