Naturwissenschaftlich motivierte formale Modelle im WS 2019/20

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: Theoretische Informatik, COS (Ordnung von 2013): 7040, 8060, 8062, COS (Ordnung 2019): 7060

Termine

Vorlesung:	Donnerstag	14:15-15:45	03.04.1.02	erstmals am 17.10.19
Übung:	Freitag	10:15-11:45	03.04.0.02	erstmals am 18.10.19

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.