- 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
- Dozent*in: Barbara Benedikt
- Dozent*in: Sebastian Clermont
- Dozent*in: Marc Fischlin
- Dozent*in: Tobias Schmalz
- Dozent*in: Júlia Baligács
- Dozent*in: Kord Eickmeyer
20-00-0016-iv Computer Netzwerke und verteilte Systeme
- Dozent*in: Matthias Hollick
- Dozent*in: Vincenz Mechler
- Dozent*in: Davide Toldo
Erste Veranstaltung: Montag, 17. April 2023, 09:00
Kursinhalt:
- Modellierung und Modellprüfung (Modelchecking) mit LTL
- Deduktive Softwareverifikation
- Dozent*in: Richard Bubel
- Dozent*in: Daniel Drodt
- Dozent*in: Reiner Hähnle
- Dozent*in: Marco Scaletta
- Dozent*in: Anna Schmitt
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.
- Dozent*in: Thomas Arnold
- Dozent*in: Carsten Binnig
- Dozent*in: Jan-Micha Bodensohn
- Dozent*in: Long Gu
- Dozent*in: Adrian Lutsch
- Dozent*in: Júlia Baligács
- Dozent*in: Thomas Streicher
- Dozent*in: Marius Tritschler