621.315 (15W) 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 14 (25 max.)
- Organisationseinheit
- Unterrichtssprache Englisch
- LV-Beginn 08.10.2015
- Anmerkungen Der Block Logik und logische Programmierung (2 VO + 2UE) wird in Form von zwei VKs (jeweils 2 SWS) angeboten. Ziel ist, die Prüfungsaktivität durch bessere Interaktion mit den Studierenden, bessere Verbindung von VO- und UE-Inhalten und durch gesteigerte Anwesenheit in den Lehrveranstaltungen. Zudem soll die Lehrveranstaltung dadurch früher und mit besserem Ergebnis abgeschlossen werden. Dabei ist folgende Zuordnung vorgesehen: • VK „Logik“ → VO „Logik und logische Programmierung” • VK “Logiche Programmierung” → UE „Logik und logische Programmierung”
Zeit und Ort
Liste der Termine wird geladen...
LV-Beschreibung
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
The course covers Answer Set Programming (ASP) and Prolog, which are two popular logic programming languages.Themen
- Logic programming
- Answer set programming
- Prolog
- Compinatorial optimizazion
- Search
Lehrziel
The goal of the course is to present a variety of logic programming approaches that can be applied to solve hard problems.Erwartete Vorkenntnisse
Some basic understanding of propositional logic is required.Literatur
M. Gebser et al.: Answer set solving in practice. Morgan & Claypool, 2013 I. Bratko: Prolog programming for artificial intelligence. Addison-Wesley / Pearson, 2012.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
The course covers Answer Set Programming (ASP) and Prolog, which are two popular logic programming languages.Themen
- Logic programming
- Answer set programming
- Prolog
- Compinatorial optimizazion
- Search
Lehrziel
The goal of the course is to present a variety of logic programming approaches that can be applied to solve hard problems.Erwartete Vorkenntnisse
Some basic understanding of propositional logic is required.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.
Prüfungsinhalt/e
Topics covered in lecture slides and practical exercisesBeurteilungskriterien/-maßstäbe
Written and oral examinationBeurteilungsschema
Note BenotungsschemaPosition 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
-
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 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)
-
Logik und logische Programmierung (
1.0h PR / 2.0 ECTS)
-
Fach: Softwareentwicklung
(Pflichtfach)
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)
-
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
-
Wintersemester 2016/17
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
-
Sommersemester 2016
- 621.315 VC Logische Programmierung (2.0h / 4.0ECTS)
- Sommersemester 2015