• Datenstrukturen: Array, Listen, Binäre Suchbäume, B-Bäume, Graphenräprentationen, Hashtabellen, Heaps
  • Algorithmen: Sortieralgorithmen, Stringmatching, Traversieren, Einfügen, Suchen und Löschen bei bestimmten Datenstrukturen, Kürzeste Wege Suche, Minimal Spannende Bäume
  • Asymptotische Komplexität
  • Algorithmisches Strategien: Divide-and-Conquer, Dynamische Programmierung, Brute-Force, Greedy, Backtracking, Metaheuristiken

20-00-0016-iv Computer Netzwerke und verteilte Systeme


Erste Veranstaltung: Monday, 17 April 2023, 09:00

Kursinhalt:

  • Modellierung und Modellprüfung (Modelchecking) mit LTL
  • Deduktive Softwareverifikation

Die Veranstaltung vermittelt die Grundkonzepte des Informationsmanagements. Im ersten Teil der Lehrveranstaltung stehen vor allem relationale Datenbanksysteme im Zentrum, während der zweite Teil eine Einführung in die Sprach- und Wissensverarbeitung mit Schwerpunkt Textanalyse gibt.