- 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
Auf der Kursseite finden Sie
Übungsblätter, Kontaktdaten und weitere Informationen zur Veranstaltung.
Der Einschreibeschlüssel zum Kurs wird ihnen vor Beginn der Lehrveranstaltung in den Tucan-Informationen zur Veranstaltung (Anmeldung vorausgesetzt) und in der ersten Vorlesungsstunde mitgeteilt.
Eine aufgezeichnete Einführung sowie zusätzlich Materialien zur Auffrischung von mathematischen Grundlagen werden als Wiederholungsangebot in Woche 11.- 14.04.2023 im Moodle-Kurs zur Verfügung gestellt.
Fragen zum Kurs können Sie gerne an cer@sim.tu-darmstadt.de senden.
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 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: Jérôme Kirchhoff
- Dozent*in: Martin Oehler
- Dozent*in: Oskar von Stryk
- Dozent*in: Christoph Zelch
Prüfungsdatum (falls Klausur): Monday, 4 September 2023, 09:00
20-00-0016-iv Computer Netzwerke und verteilte Systeme
- Dozent*in: Matthias Hollick
- Dozent*in: Vincenz Mechler
- Dozent*in: Davide Toldo
Erste Veranstaltung: Monday, 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