621.315 (18W) 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
- 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
Beurteilungsschema
Note/Grade 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 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)
-
Logik und logische Programmierung (
2.0h PR / 3.0 ECTS)
-
Fach: 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 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
- 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