Modulnummer:
| 12939
- Modul nicht mehr im Angebot ab SS 2022 |
Modultitel: | Logik in Datenbanken |
|
Logic in Databases
|
Einrichtung: |
Fakultät 1 - MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik
|
Verantwortlich: | -
Prof. Dr.-Ing. habil. Schmitt, Ingo
|
Lehr- und Prüfungssprache: | Deutsch |
Dauer: | 1 Semester |
Angebotsturnus: |
sporadisch nach Ankündigung
|
Leistungspunkte: |
8
|
Lernziele: | Nach der Teilnahme am Modul ist der Studierende in der Lage, Ausdrücke verschiedener Logiken zur Datenmodellierung und Anfrageformulierung im Datenbankkontext, also zur Extraktion von Informationen, zu entwickeln und algorithmisch auszuwerten. |
Inhalte: | Prädikatenlogik, Herbrand-Modell, Datalog, Fuzzy-Logik, Quantenmechanik und -logik, Anfragesprache CQQL, probabilistische Datenbanken, Algorithmen zur Auswertung logischer Ausdrücke. |
Empfohlene Voraussetzungen: | keine |
Zwingende Voraussetzungen: | keine |
Lehrformen und Arbeitsumfang: | -
Vorlesung
/ 2 SWS
-
Übung
/ 2 SWS
-
Praktikum
/ 2 SWS
-
Selbststudium
/ 150 Stunden
|
Unterrichtsmaterialien und Literaturhinweise: | - „Foundations of Databases“ von Abiteboul, Hull, Vianu, Addison Wesley, 1996
- „Multimedia-Kurs Datenbanksysteme“ von Werner Kießling, Springer-Verlag, 1998
- „Quantenlogik für Ingenieure und Informatiker“ von Günther Wirsching, Ingo Schmitt, Matthias Wolff, Springer-Verlag
- Skript
|
Modulprüfung: | Voraussetzung + Modulabschlussprüfung (MAP) |
Prüfungsleistung/en für Modulprüfung: | Voraussetzung für die Modulabschlussprüfung:
- Erfolgreiches Bestehen des Praktikums
Modulabschlussprüfung:
- Klausur, 90 min. ODER
- mündliche Prüfung, 30-45 min. (bei geringer Teilnehmerzahl)
In der ersten Lehrveranstaltung wird bekanntgegeben, ob die Prüfungsleistung in schriftlicher oder mündlicher Form zu erbringen ist. |
Bewertung der Modulprüfung: | Prüfungsleistung - benotet |
Teilnehmerbeschränkung: | keine |
Zuordnung zu Studiengängen: | - keine Zuordnung vorhanden
|
Bemerkungen: | - Studiengang Informatik M. Sc.: Wahlpflichtmodul im Komplex „Grundlagen der Informatik“ (Niveaustufe 400).
- Studiengang Informations- und Medientechnik M. Sc.: Wahlpflichtmodul im Komplex „Methodische Vertiefung".
|
Veranstaltungen zum Modul: | - Vorlesung: Logik in Datenbanken
- Übung zur Vorlesung
- Praktikum zur Vorlesung
- Zugehörige Prüfung
|
Veranstaltungen im aktuellen Semester: | - keine Zuordnung vorhanden
|
Nachfolgemodul/e: |
Auslaufmodul ab: 07.07.2022
|