Naturwissenschaftlich motivierte formale Modelle im WS 2023/24

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

Termine

Vorlesung/Übung:	Mittwoch	14:15-15:45	2.70.0.10	erstmals am 25.10.23
Vorlesung/Übung:	Mittwoch	16:15-17:45	2.70.0.10	erstmals am 25.10.23

Leistungserfassung

30-minütige mündliche Prüfung

Die Prüfungen am 22. Februar finden in 2.70.1.02 statt.

Am 5. April werden wir im Raum 2.70.2.02 sein.

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.