621.315 (18W) Logische Programmierung

Wintersemester 2018/19

Anmeldefrist abgelaufen.

Erster Termin der LV
03.10.2018 12:00 - 14:00 S.2.42 On Campus
... keine weiteren Termine bekannt

Überblick

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

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.

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 Benotungsschema

Position 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
  • 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 Informatik (SKZ: 521, Version: 09W.3)
    • Fach: Softwareentwicklung (Pflichtfach)
      • Logik und logische Programmierung ( 2.0h PR / 3.0 ECTS)
        • 621.315 Logische Programmierung (2.0h VC / 4.0 ECTS)
  • 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 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
  • 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)