Die Formale Begriffsanalyse ist ein Teilgebiet der Künstlichen Intelligenz, mit dem Daten auf Zusammenhänge und Struktur analysiert werden können. Sie gehört zu den unüberwachten Lernverfahren: Die Daten werden dabei so geclustert, dass sie dem menschlichen Denken in Begriffen und Begriffshierarchien entsprechen.
Die Studierenden erlernen die grundlegenden Konzepte und Methoden der Begriffsanalyse im Bereich der Wissensverarbeitung und –repräsentation: Theorie und Anwendungen der Formalen Begriffsanalyse; Gewinnung von Begriffen und Begriffshierarchien aus Daten; Datenanalyse und Unterstützung der Wissensakquisition; Strukturierung der Begriffe in (Spezialisierungs-)Hierarchien; verschiedene Darstellungsformen; Algorithmus zur Exploration eines Merkmalraumes.
Datenbanken sind essentieller Bestandteil fast aller großen Softwareanwendungen.
Behandelt werden Theorie und Praxis relationaler Datenbanksysteme,
einschließlich Schichtenarchitektur, Modellierung mittels
ER-Diagrammen, Funktionale Abhängigkeiten, Normalisierung, Armstrongsche
Axiome, Relationenkalkül und dessen Realisierung in SQL,
Transaktionskonzept.
In den Übungen wird u.a. mit SQL auf dem vorhandenen Datenbank-System gearbeitet.
Der Kurs führt in die funktionale Programmierung und das Programmieren mit Clojure ein.
Voraussichtliche Themen:- Ideen und Prinzipien der funktionalen Programmierung
- Clojure: Language Fundamentals
- Clojure und Jupyter
- Parallele Programmierung in Clojure