Lehrinhalte:
- Datenstrukturen: Arrays, Verkettete Listen, Binäre Suchbäume, B-Bäume, Hashtabellen, Heaps, Skip-Listen, Graphen
- Algorithmen: Sortieralgorithmen, Einfügen/Suchen/Löschen in Datenstrukturen, Kürzeste Wege, Minimale Spannbäume
- Asymptotische Komplexität
- NP-Vollständigkeit
- Entwurfsstrategien für Algorithmen: Divide-and-Conquer, Dynamische Programmierung, Greedy-Paradigma, Backtracking, Metaheuristiken
- Dozent*in: Marc Fischlin
- Dozent*in: Moritz Huppert
- Dozent*in: Tobias Schmalz
Erste Veranstaltung: Dienstag, 16. April 2024, 15:20
- Dozent*in: Markus Anders
- Dozent*in: Pascal Schweitzer
20-00-1151-iv Computernetze und verteilte Systeme (PO 2023) / Computer Netzwerke und verteilte Systeme (PO 2015)
- Dozent*in: Matthias Hollick
- Dozent*in: Vincenz Mechler
- Dozent*in: Nawid Sediqi
- Dozent*in: Davide Toldo
Erste Veranstaltung: Mittwoch, 17. April 2024, 13:30
Prüfungsdatum (falls Klausur): Freitag, 26. Juli 2024, 12:30
- Dozent*in: Tim Neubacher
- Dozent*in: Fabian Oberthür
- Dozent*in: Colin Wiesenäcker
Kursinhalt:
- Modellierung und Modellprüfung (Modelchecking) mit LTL
- Modellierung nebenläufiger und verteilter Software/Algorithmen/Protokolle
- Spezifikation und formale Verifikation der Modelle (z.B. korrekte Ressourcennutzung)
- Deduktive Softwareverifikation
- Spezifikation von konkreten sequentiellen Implementierungen (nicht nur Modellen)
- Formale Beweisführung, dass die Implementierungen ihrer Spezifikation genügen
Ein Schwerpunkt des Kurses ist u.a. die praktische Umsetzung der theoretischen Grundlagen mit Hilfe der Verifikationswerkzeuge: SPIN und KeY
- Dozent*in: Richard Bubel
- Dozent*in: Daniel Drodt
- Dozent*in: Lukas Grätz
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: Sven Möller
- Dozent*in: Marius Tritschler
- Dozent*in: Lena Volk
Erste Veranstaltung: Dienstag, 16. April 2024, 08:00