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.

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

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do.10:00 - 11:0003.11.2011Seminarraum FAV EG C (Seminarraum Gödel) Vorbesprechung
Di.09:00 - 12:0006.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) Deduktive Datenbanken
Di.09:00 - 12:0020.12.2011Seminarraum 8 Deduktive Datenbanken
Di.09:00 - 12:0010.01.2012Seminarraum FAV EG B (Seminarraum von Neumann) Deduktive Datenbanken
Do.15:00 - 18:0012.01.2012Seminarraum Argentinierstrasse Deduktive Datenbanken
Di.09:00 - 12:0024.01.2012Seminarraum FAV EG C (Seminarraum Gödel) Deduktive Datenbanken
Fr.11:00 - 13:0002.03.2012Seminarraum FAV EG C (Seminarraum Gödel) Pruefung

LVA-Anmeldung

Von Bis Abmeldung bis
01.11.2011 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