- Dozent*in: Ulrich Kohlenbach
- Dozent*in: Morenikeji Neri
20-00-1151-iv Computernetze und verteilte Systeme (PO 2023) / Computer Netzwerke und verteilte Systeme (PO 2015)
- Dozent*in: Max Granzow
- Dozent*in: Jonas Kubicki
- Dozent*in: Matthias Sokolowski
- Dozent*in: Marco Zimmerling
- Dozent*in: Tim Neubacher
- Dozent*in: Nawid Sediqi
- 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 theoretischer Grundlagen mit Hilfe der Verifikationswerkzeuge: SPIN und KeY
- Dozent*in: Richard Bubel
- Dozent*in: Daniel Drodt
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
Dies ist der Moodle-Kurs zur Mathematik II für Informatik und Wirtschaftsinformatik im Sommersemester 2026.
- Dozent*in: Kord Eickmeyer
- Dozent*in: Georg Schindling
- Dozent*in: Lena Volk
Moodlekurs zur Veranstaltung Rechnerorganisation SS26
- Dozent*in: Andreas Koch
- Dozent*in: David Volz
Auf der Kursseite finden Sie Übungsblätter, Kontaktdaten und weitere Informationen zur Veranstaltung.
Lehrinhalte:
- Grundlagen der Modellierung und Simulation
- Problemspezifikation und Systembeschreibung im Computational Engineering
- Modellbildung am Beispiel mechanischer Systeme
- Modellanalyse am Beispiel mechanischer Systeme
- Implementierung von Simulationen an Beispielen aus der Robotik und anderer Bereiche
- Interpretation und Validierung anhand von Messdaten
- Anwendungen in der Simulation und Steuerung von Robotern sowie der physikalisch basierten Animation und Computerspiele
Literatur:
Literatur zu einzelnen Kapiteln der Lehrveranstaltung:
F. Föllinger: Einführung in die Zustandsbeschreibung dynamischer Systeme (Oldenbourg, 1982)
P. Corke: Robotics, Vision & Control, Springer, 2011
F.L. Severance: System Modeling and Simulation: An Introduction, J. Wiley & Sons, 2001
- Dozent*in: Frederik Alexander Bark
- Dozent*in: Vahid Firouzi
- Dozent*in: Markus Kramer
- Dozent*in: Aljoscha Schmidt
- Dozent*in: Oskar von Stryk