University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH

Lehrveranstaltung im Wintersemester 2012/2013

Formale Sprachen: DNA Computing

Master-Basis-Kurs in Theoretischer Informatik (auch Kategorie V im Diplom-Hauptstudium)

(VAK 03-MB-603.01/2, 4 SWS, ECTS: 6 CP)


Die Silizium-Technologie ist nahezu ausgereizt, wenn es um weitere Beschleunigung der Rechengeschwindigkeit und Miniaturisierung von Prozessoren und Datenspeichern geht. Als zukünftige Alternative bietet sich der "Computer im Reagenzglas" an, bei dem Berechnungen als chemische Reaktionen ablaufen sollen. Als geeigneter molekularer Träger für diese Grundidee gilt die DNA, da ihre chemischen Reaktionen nicht nur wie bei anderen Molekülen mit massiver Parallelität ablaufen, sondern die Rekombination eindeutig festgelegt ist, so dass Kopieren schnell geht und viel Suchaufwand entfällt. In der Lehrveranstaltung DNA Computing, die auf dem gleichnamigen Buch von Paun, Rozenberg und Salomaa (Springer 1998) beruht, werden die theoretischen Grundlagen dieser potentiellen neuen Rechnertechnologie erarbeitet. Der Gegenstand der Lehrveranstaltungen ist neben einer Einführung in die Grundelemente der Gentechnik eine moderne, allerdings nicht ganz einfache Variante der Theorie formaler Sprachen, wobei diverse Inhalte aus Theoretischer Informatik 1 und 2 aufgegriffen, verwendet, weiterentwickelt und ergänzt werden.

[Modulbereich Theorie]

Voraussetzungen: Inhalte von 601.01 und 601.02

  • Termine:
    Die erste Vorlesung findet statt am Montag, dem 15. Oktober!
    • Mo von 16:15 - 17:45 MZH 7260
    • Mi von 14:15 - 15:45 SFG 0140

  • Folien, Arbeitsmaterialien und Übungsblätter sind auf der Stud.IP-Seite der Veranstaltung unter Dateien zu finden.


Kontakt
Prof. Dr. Hans-Jörg Kreowski
Raum: OAS 3001
kreo@informatik.uni-bremen.de

Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen
Germany

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

Phone
++49(421)218 64451

Email (Secr.)
Helga Reinermann

helga@tzi.de