Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen
Zeige Informatik-Format Pdf_icon Systems Engineering-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon

System Engineering-Ansicht

Modultyp
Pflichtmodul Wahlbereich
Spezialisierungsbereich Anzahl Semesterwochenstunden CP Angeboten in jedem
V Ü S P Proj. Anzahl
Formale Sprachen: DNA Computing
0 0 0 0 0 0 6 i. d. R. angeboten alle 2 Jahre
Formal Languages: DNA Computing         Berechnung des Workloads
Vorgesehenes Semester ab 1. Semester
Lernziele

  • Grundideen und Prinzipien von DNA Computing verstehen und erläutern können.
  • Im methodischen Zusammenhang mit DNA Computing formale Sprachen modellieren und erzeugen können sowie strukturelle und entscheidbarkeitstheoretische Eigenschaften von grammatikalischen Systemen und Automatenmodellen verstehen und nachweisen können.
  • Komplexe Reduktionen zwischen Sprachklassen und die zugehörigen Korrektheitsbeweise nachvollziehen und durchführen können.

Lerninhalte

  1. Grundlagen von DNA Computing
  2. Spracherzeugung durch Sticker-Systeme, Insertion/Deletion-Systeme sowie Splicing-Systeme, extendierte Splicing-Systeme und Splicing-Systeme mit Iteration
  3. Methoden des Sprachklassenvergleichs mit besonderer Berücksichtigung der rekursiven Aufzählbarkeit

Prüfungsformen

i. d. R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung

Dokumente (Skripte, Programme, Literatur, usw.)

G. Paun, G. Rozenberg, A. Salomaa: DNA Computing, Springer, 1998

Lehrende: Prof. Dr. H.-J. Kreowski Verantwortlich: Prof. Dr. H.-J. Kreowski
Zurück

Zeige Informatik-Format Pdf_icon Systems Engineering-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon