[TU Dresden]

Molekulares Rechnen (in vitro und in vivo)

Technische Universität Dresden
Institut für Theoretische Informatik


Information zur Lehrveranstaltung (Studiengang Informatik - Fachgebiet Theorie der Programmierung)

Lehrbeauftragte: Dr. Monika Sturm

Die Lehrveranstaltung umfasst zwei Zielstellungen: die Entwicklung unkonventioneller Rechenmodelle, die auf einer Abstraktion biologischer Prozesse basieren und für eine Anwendung in der Mathematik bzw. Informatik vorgesehen sind, sowie die Formalisierung von real ablaufenden Prozessen in lebenden Zellen bzw. Organismen zur Erkenntnisgewinnung in der Systembiologie bzw. Bioinformatik. Neben der Vermittlung der mathematischen und theoretischen Grundlagen zum Fachgebiet allgemein werden spezielle in-vitro- und in-vivo-Modelle vorgestellt sowie Grenzen ihrer Komplexität und Realisierbarkeit diskutiert. Schwerpunkte: Automaten, formale Sprachen, Berechenbarkeit, Lambda-Kalkül, Adleman-Experiment, DNA-basierte Algorithmen, NP-Probleme, Splicing-Modelle, Insertion-Deletion-Systeme, DNA-Haskell, Gene Assembly, Membrane-Computing.

Informationen zum Beginn der Lehrveranstaltung im SS2008 am 9.04.2008

Die Lehrveranstaltung beginnt in der ersten Lehrveranstaltungswoche. Die Vorlesung findet mittwochs in der 2. DS (INF/E08) statt. Donnerstags wird in der 1. DS (INF/E09) eine Übung angeboten. Zu den Modalitäten des Übungsbetriebes wird in der ersten Vorlesung am 9.04.2008 informiert.

Es besteht die Möglichkeit, inhaltliche und organisatorische Fragen zur Lehrveranstaltung innerhalb einer Mailingliste zu diskutieren.

Lehrmaterial

Vorlesungsunterlagen werden an dieser Stelle aktuell zur Verfügung gestellt.

  • Vorlesung Kapitel 1, 9.04.08   Folien (pdf)
  • Vorlesung Kapitel 2, 16.04.08, 23.04.08   Folien (pdf)
  • Vorlesung Kapitel 3, 7.05.08   Folien (pdf)
  • Vorlesung Kapitel 4, 21.05.08, 4.06.08   Folien(pdf)
  • Vorlesung Kapitel 5/1, 11.06.08, 18.06.08   Folien(pdf)
  • Vorlesung Kapitel 5/2, 25.06.08   Folien(pdf)
  • Vorlesung Kapitel 5/2, 02.07.08   Folien(pdf)  Beschränktes Postsches Korrespondenzproblem, 02.07.08
  • Vorlesung Kapitel 6, 09.07.08   Folien(pdf)

    Übungsaufgaben

    Übungsaufgaben sind im Vorfeld der jeweiligen Übung auf dieser Seite zu finden und selbständig auszuarbeiten. In den Übungen erfolgt die Diskussion der studentischen Lösungen. Die erste Übung findet am 17.04.08 statt. Ausgewählte Musterlösungen werden über die Mailingliste veröffentlicht.

    1. Übungsblatt (17.04.08)
    2. Übungsblatt (24.04.08, 8.05.08)
    3. Übungsblatt (22.05.08)
    4. Übungsblatt (05.06.08)
    5. Übungsblatt (12.06.08)
    6. Übungsblatt (26.06.08, 3.07.08)
    7. Übungsblatt (3.07.08)

    Literatur

    Die hier erwähnte Literatur kann zum Teil über den WebOPAC der SLUB gefunden werden.


    Letzte Änderung: Wednesday, 02-Jul-2008 15:00:11 CEST