184.247 Deduktive Datenbanken
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2014W, VO, 2.0h, 3.0EC

Merkmale

Semesterwochenstunden: 2.0
ECTS: 3.0
Typ: VO Vorlesung

Ziele der Lehrveranstaltung

Verständnis der Sprache Datalog und Erweiterungen um Negation und Disjunktion. Fähigkeit zur Modellierung von Problemen mittels dieser Sprachen. HINWEIS: Die LVA wird voraussichtlich in Englisch abgehalten.

Inhalt der Lehrveranstaltung

Datalog, Logik und Datenbanken (Wiederholung und Vertiefung) Datalog mit Negation, Stratifikation, Semantik nichtstratifizierbarer Programme Datalog mit Disjunktion, Semantik disjunktiver Programme Modellierung verschiedener Problemstellungen Evaluierung von Datalogprogrammen, Optimierungen

Weitere Informationen

ECTS breakdown: 3 ECTS = 75 Hours

1h Vorbesprechung

24h Vorlesung

10h Hausuebungen zur Vertiefung des Vorlesungsstoffs

38h Pruefungsvorbereitung

2h schriftliche Pruefung

Vortragende Personen

Woltran, Stefan

Institut

E184 Institut für Informationssysteme

LVA Termine

Tag	Zeit	Datum	Ort	Beschreibung
Di.	14:00 - 15:00	28.10.2014	Seminarraum FAV EG C (Seminarraum Gödel)	Vorbesprechung
Mi.	08:00 - 12:00	05.11.2014	FAV Hörsaal 3 Zemanek (Seminarraum Zemanek)	Deduktive Datenbanken
Mi.	08:00 - 12:00	19.11.2014	FAV Hörsaal 3 Zemanek (Seminarraum Zemanek)	Deduktive Datenbanken
Mi.	08:00 - 12:00	26.11.2014	Seminarraum FAV EG C (Seminarraum Gödel)	Deduktive Datenbanken
Mi.	08:00 - 12:00	10.12.2014	Seminarraum FAV EG B (Seminarraum von Neumann)	Deduktive Datenbanken
Mi.	08:00 - 12:00	17.12.2014	Besprechungsraum Menger / Favoritenstr. 9-11 / Stiege 3 / 3. Stock	Deduktive Datenbanken

LVA-Anmeldung

Von	Bis	Abmeldung bis
04.11.2014 00:00

Curricula

Studienkennzahl	Verbindlichkeit	Semester	Anm.Bed.	Info
066 011 DDP Computational Logic (Erasmus-Mundus)	Keine Angabe
066 931 Computational Intelligence	Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing	Gebundenes Wahlfach