Dies hier ist der Moodle-Kurs zur Vorlesung "Aussagenlogik und Prädikatenlogik SoSe25".
- Dozent*in: Kord Eickmeyer
- Dozent*in: Erik Jansen
- Dozent*in: Simon Raßmann
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
- Dozent*in: Tim Neubacher
- 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
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: Timo Eckmann
- Dozent*in: Roman Heinrich
- Dozent*in: Matthias Urban
- Dozent*in: Michelle Klemt
- Dozent*in: Lena Volk
- Dozent*in: Torsten Wedhorn
Moodlekurs zur Veranstaltung Rechnerorganisation SS25
- Dozent*in: Andreas Koch
- Dozent*in: Florian Meisel
- Dozent*in: Markus Scheck
- 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: Martin Oehler
- Dozent*in: Aljoscha Schmidt
- Dozent*in: Oskar von Stryk
Treffpunkt Mathematik
Der Treffpunkt Mathematik bietet Ihnen die Möglichkeit, offene Fragen aus Übungen und Vorlesung zu stellen sowie den Lernstoff zu vertiefen. Die Veranstaltung ist für Sie ein freiwilliges Angebot. Organisiert wird der Kurs durch den Fachbereich Mathematik.
Es werden Konzepte aus der Vorlesung wiederholt sowie Herangehensweisen in klassischen Übungsaufgaben eingeübt. An geeigneter Stelle soll die Mathematik zudem durch Anwendungen motiviert werden.
Der Treffpunkt findet ab der zweiten Vorlesungswoche immer
Dienstags, von 11:40 Uhr bis 13:10 Uhr im Raum S101/A01
statt.
Der erste Treffpunkt findet also am 29.04.2025.
- Dozent*in: Fabio Leotta