Naturwissenschaftlich motivierte formale Modelle im SS 2025

verantw. Hochschullehrer:	PD Dr. Henning Bordihn
Studiengang:	Master
Voraussetzungen:	Solide Kenntnisse in der Mathematik und der Theoretischen Informatik
SWS:	4 (2 V + 2 Ü)
Credits:	6
Zuordnung:	INF-7060 oder andere auf Anfrage

Termine

Vorlesung/Übung:	Donnerstag	12:15-13:45	2.70.0.09	erstmals am 10.04.25
Vorlesung/Übung:	Donnerstag	14:15-15:45	2.70.0.09	erstmals am 10.04.25

Leistungserfassung

30-minütige mündliche Prüfung

Inhalte

Es werden verschiedene formale Modelle behandelt, die ihre Motivation in der Beschreibung und Untersuchung naturwissenschaftlicher Prozesse haben. Gegenstand der Lehrveranstaltung sind die Modellbildung, die Untersuchung der formalen Eigenschaften dieser Modelle sowie die Diskussion von Anwendungen innerhalb und außerhalb der Naturwissenschaften.

Zu den Inhalten der Lehrveranstaltung gehören unter anderem:

Lindenmayersysteme als parallele Ersetzungsmechanismen, die zur Modellierung von Wachstums- und Entwicklungsprozessen eingeführt wurden;
deren Anwendung bei der Erzeugung von Graphiken und Fraktalen;
formale Aspekte des DNA-Computing;
Soliton-Wellen als Berechnungsmodelle.