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.

2012W, 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

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.10:00 - 11:0016.10.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorbesprechung
Di.09:00 - 12:0020.11.2012 - 27.11.2012Seminarraum Argentinierstrasse Deduktive Datenbanken
Do.09:00 - 12:0022.11.2012 - 29.11.2012EI 6 Eckert HS Deduktive Datenbanken
Di.09:00 - 12:0011.12.2012Seminarraum Argentinierstrasse Deduktive Datenbanken
Do.09:00 - 12:0013.12.2012EI 6 Eckert HS Deduktive Datenbanken
Deduktive Datenbanken - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.16.10.201210:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorbesprechung
Di.20.11.201209:00 - 12:00Seminarraum Argentinierstrasse Deduktive Datenbanken
Do.22.11.201209:00 - 12:00EI 6 Eckert HS Deduktive Datenbanken
Di.27.11.201209:00 - 12:00Seminarraum Argentinierstrasse Deduktive Datenbanken
Do.29.11.201209:00 - 12:00EI 6 Eckert HS Deduktive Datenbanken
Di.11.12.201209:00 - 12:00Seminarraum Argentinierstrasse Deduktive Datenbanken
Do.13.12.201209:00 - 12:00EI 6 Eckert HS Deduktive Datenbanken

LVA-Anmeldung

Von Bis Abmeldung bis
30.10.2012 00:00

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.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

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Deutsch