Naturwissenschaftlich motivierte formale Modelle - Einzelansicht

wird in der LV bekannt gegeben

Theoretische Informatik / Formale Grundlagen der Informatik

mündl. Prüfung,  25-30 Minuten

Es werden diverse formale Modelle behandelt, die durch naturwissenschaftliche Phänomene inspiriert sind. Die Modelle werden hinsichtlich ihrer Leistungsfähigkeit und einiger weiterer Eigenschaften untersucht. Anwendungen und Re-Interpretationen in den Naturwissenschaften werden diskutiert. Zu den Inhalten gehören:

• Parallel ersetzende Systeme zur Beschreibung von Wachstums- und Entwicklungsprozessen;
  
• Anwendung parallel erstzender Systeme in der Computergraphik und zur Beschreibung von Fraktalen;
• verschiedene Aspekte des DNA Computing;
• Solitonwellen-Modelle.