Naturwissenschaftlich motivierte formale Modelle im SS 2015
| 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: | Donnerstag | 16:15-17:45 | 03.06.S15 | erstmals am 16.04.15 |
| Übung: | Mittwoch | 14:15-15:45 | 03.04.1.02 | erstmals am 22.04.15 |
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.