Naturwissenschaftlich motivierte formale Modelle im WS 2017/18

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: 7040, 8060, 8062

Termine

Vorlesung:	Mittwoch	16:15-17:45	wechselnd	erstmals am 18.10.17
Übung:	Freitag	10:15-11:45	03.04.0.02	erstmals am 20.10.17

Räume für die Vorlesung:
42 war im HS H01
43 S22 (25.10.17)
44 S14 (01.11.17, Muss leider sein.)
45 S22 (08.11.17)
46 S22
47 S22
48 S22
49 S22
50 S22
51 S22 (Dann Wechsel in S14!)
02 S14 (10.01.18)
03 S14
04 S14
05 S14
06 S14

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;
Ausblick auf melekulares Computing;
Soliton-Wellen als Berechnungsmodelle.

In der zweiten Woche erfolgen Vorträge von Frau Prof. Erzsébet Csuhaj-Varjú von der Elte-Universität Budapest.