Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

Foto: Matthias Friel

Naturwissenschaftlich motivierte formale Modelle - Einzelansicht

  • Funktionen:
  • Zur Zeit keine Belegung möglich
Veranstaltungsart Vorlesung/Übung Veranstaltungsnummer 552921
SWS 4 Semester WiSe 2021/22
Einrichtung Institut für Informatik und Computational Science   Sprache deutsch
Belegungsfrist 01.10.2021 - 10.11.2021   
Gruppe 1:
     Zur Zeit keine Belegung möglich
    Tag Zeit Rhythmus Dauer Raum Lehrperson fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
Vorlesung Mi 14:00 bis 16:00 wöchentlich 27.10.2021 bis 16.02.2022  2.70.0.09 Dr. Bordihn 22.12.2021: Akademische Weihnachtsferien
29.12.2021: Akademische Weihnachtsferien
18
Einzeltermine anzeigen
Übung Fr 08:00 bis 10:00 wöchentlich 29.10.2021 bis 18.02.2022  2.70.0.09 Dr. Bordihn 24.12.2021: Akademische Weihnachtsferien
31.12.2021: Akademische Weihnachtsferien
18
Literatur

wird in der LV bekannt gegeben

Voraussetzungen

Theoretische Informatik bzw. Modellierungskonzepte in der Informatik

Leistungsnachweis

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

Lerninhalte

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.

Strukturbaum
Die Veranstaltung wurde 15 mal im Vorlesungsverzeichnis WiSe 2021/22 gefunden:
Vorlesungsverzeichnis
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Master of Science
Computational Science (Prüfungsversion ab WiSe 2019/20)
I. Kernmodule Computational Science
INF-7060 - Modellierung für die Naturwissenschaften  - - - 1
III. Vertiefungsmodule Informatik
INF-8062 - Semantik und Typsysteme  - - - 2
Computational Science (Prüfungsversion ab WiSe 2013/14)
IX. Wahlpflichtmodul
Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme (auslaufend)  - - - 3
Modellierung für die Naturwissenschaften  - - - 4
Semantik und Typsysteme  - - - 5
VII. Kernmodule Computational Science
Modellierung für die Naturwissenschaften  - - - 6
VIII. Vertiefungsmodule Informatik
Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme (auslaufend)  - - - 7
Semantik und Typsysteme  - - - 8
Informatik (Prüfungsversion ab WiSe 2008/09)
Veranstaltungen  - - - 9
Master of Education
Informatik (Prüfungsversion ab WiSe 2011/12)
Vertiefungsmodul Informatik I u. II
Theoretische Informatik  - - - 10
Vertiefungsmodul Informatik  - - - 11
Informatik (Prüfungsversion ab WiSe 2013/14)
Wahlpflichtmodule
INF 8060 - Methoden des automatischen Schließens  - - - 12
INF 8062 - Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme  - - - 13
Institut für Biochemie und Biologie
Master of Science
Bioinformatik (Prüfungsversion ab WiSe 2010/11)
Wahlpflichtmodule
Ausgewählte Methoden und Techniken der Systembiologie und Informatik  - - - 14
Institut für Umweltwissenschaften und Geographie
Master of Science
Geoinformation und Visualisierung (Prüfungsversion ab WiSe 2010/11)
Vertiefung Informatik  - - - 15