621.315 (17S) Logische Programmierung

Sommersemester 2017

Anmeldefrist abgelaufen.

Erster Termin der LV
02.03.2017 14:00 - 16: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
30 (25 max.)
Organisationseinheit
Unterrichtssprache
Englisch
mögliche Sprache/n der Leistungserbringung
Deutsch
LV-Beginn
02.03.2017
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

Prüfungsinformationen

Beurteilungsschema

Note/Grade Benotungsschema

Position im Curriculum

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