Molekulares Rechnen (in vitro und in vivo)

Technische Universität Dresden Institut für Theoretische Informatik Lehrstuhl für Automatentheorie

Information zur Lehrveranstaltung
(Bachelor Informatik (INF-B-510, INF-B-520), Master Informatik, Diplom Informatik (INF-BAS6, INF-VERT6))

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 SS 2012 am 04.04.2012

Die Lehrveranstaltung beginnt mit der ersten Lehrveranstaltungswoche. Die erste Vorlesung findet am Mittwoch, den 04.04.2012 in der 2. DS (INF/E08) statt. Donnerstags wird in der 1. DS (INF/E09) eine Übung angeboten. Zu den Modalitäten des Übungsbetriebes, der in der zweiten (!) Lehrveranstaltungswoche beginnt, wird in der ersten Vorlesung 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, 04.04.2012, Folien (4/ps)   Folien (pdf)
• Vorlesung Kapitel 2, 11.04.2012, 18.04.2012, Folien (4/ps)   Folien (pdf)
• Vorlesung Kapitel 3, 24.04.2012, Folien (4/ps)   Folien (pdf)
• Vorlesung Kapitel 4, 02.05.2012, Folien (4/ps)   Folien (pdf)
• Vorlesung Kapitel 5 (Teil 1), 06.06.2012, Folien (4/ps)   Folien (pdf)
• Vorlesung Kapitel 5 (Teil 2), 20.06.2012, Folien (4/ps)   Folien (pdf)
• Vorlesung Kapitel 5 (Teil 3), 27.06.2012, Folien (4/ps)   Folien (pdf)
• Vorlesung Kapitel 6, 04.07.2012, Folien (4/ps)   Folien (pdf)
• Vorlesung Kapitel 7, 11.07.2012, Folien (4/ps)   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 12.04.2012 statt. Ausgewählte Musterlösungen werden über die Mailingliste veröffentlicht.

1. Übungsblatt
2. Übungsblatt
3. Übungsblatt    zusätzliche Aufgabe
4. Übungsblatt
5. Übungsblatt    PKP
6. Übungsblatt
7. Übungsblatt

Information zur Übung 5.07.12, 1. Doppelstunde

Literatur

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

• F. Baader. Formale Systeme (Skript zur Vorlesung). TU Dresden, 2010
• G. Paun, G. Rozenberg, A. Salomaa. DNA Computing. New Computing Paradigms. Springer Verlag Berlin, Heidelberg, New York, 1998
• M. Amos. Theoretical and Experimental DNA Computation. Springer Verlag Berlin, Heidelberg, New York, 2005
• A. Ehrenfeucht, T. Harju, I. Petre, D.M. Prescott, G. Rozenberg. Computation in Living Cells - Gene Assembly in Ciliates. Springer Verlag Berlin, Heidelberg, New York, 2004
• T. Hinze, M. Sturm. Rechnen mit DNA - Eine Einführung in Theorie und Praxis. Oldenbourg Verlag München, Berlin, 2004