621.315 (19W) Logische Programmierung

Wintersemester 2019/20

Anmeldefrist abgelaufen.

Erster Termin der LV
02.10.2019 12:00 - 14:00 , S.2.42
Nächster Termin:
20.11.2019 12:00 - 14:00 , S.2.42

Überblick

Lehrende/r
LV-Titel englisch
Logic Programming
LV-Art
Vorlesung-Kurs (prüfungsimmanente LV )
Semesterstunde/n
2.0
ECTS-Anrechungspunkte
4.0
Anmeldungen
20 (25 max.)
Organisationseinheit
Unterrichtssprache
Englisch
mögliche Sprache/n der Leistungserbringung
Deutsch
LV-Beginn
02.10.2019
eLearning
zum Moodle-Kurs

LV-Beschreibung

Intendierte Lernergebnisse

The course covers Answer Set Programming (ASP) and Prolog, which are two popular logic programming languages.

Lehrmethodik

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 optimization
  • Search

Erwartete Vorkenntnisse

Basic understanding of algorithms and data structures. A course in logic is a plus.

Literatur

  1. Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T.: Answer Set Solving in Practice. Morgan and Claypool, 2012.
  2. Eiter, T. et al.: Answer set programming: A primer. In: Reasoning Web. Semantic Technologies for Information Systems. 2009, pp. 40–110.
  3. 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.
  4. Bratko, I.: Prolog Programming for Artificial Intelligence (3rd edition), Pearson Education, Addison-Wesley, 2001

Prüfungsinformationen

Prüfungsmethode/n

written exam (60%), exercise sheets (20%), practical assignments (20%), short tests (bonus), active participation (bonus)

Prüfungsinhalt/e

theoretical and practical aspects of logic programming (Answer set programming, Prolog)

Beurteilungskriterien/-maßstäbe

correctness and comprehensiveness of supplied solutions to theoretical and practical tasks

Beurteilungsschema

Note/Grade Benotungsschema

Position im Curriculum

  • Bachelorstudium Angewandte Informatik (SKZ: 511, Version: 19W.1)
    • Fach: Grundlagen der Softwareentwicklung (Pflichtfach)
      • 2.5 Logische Programmierung ( 2.0h VC / 3.0 ECTS)
        • 621.315 Logische Programmierung (2.0h VC / 3.0 ECTS)
          Absolvierung im 5. Semester empfohlen
  • 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
  • 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
  • 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
  • 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)
  • 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)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Sommersemester 2019
  • 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
  • 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
  • 621.316 VC Logische Programmierung (2.0h / 4.0ECTS)
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
  • 621.315 VK Logische Programmierung (2.0h / 4.0ECTS)
  • 621.316 VK Logische Programmierung (2.0h / 4.0ECTS)