621.315 (19W) Logische Programmierung

Wintersemester 2019/20

Ende der Anmeldefrist
04.10.2019 23:59

Erster Termin der LV
02.10.2019 12:00 - 14:00 , S.2.42
Nächster Termin:
09.10.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

LV-Beschreibung

Prüfungsinformationen

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)