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 Systems Engineering-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Informatik-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
0 0 0 0 0 0 6 unregelmäßig
Formal Languages         Berechnung des Workloads
Vorgesehenes Semester ab 1. Semester
Lernziele

  • Grundideen und Prinzipien formaler Sprachen verstehen und erläutern können.
  • Im methodischen Zusammenhang 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

Die konkreten Inhalte sind abhängig von der gewählten Inhaltsalternative. Derzeit vornehmlich im Angebot:

  • Formale Sprachen: Graphtransformation (MB-603.01/1)
Prüfungsformen

i.d.R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Dokumente (Skripte, Programme, Literatur, usw.)

abhängig vom konkreten Inhalt
Lehrende: Dr. B. Hoffmann, Dr. K. Hölscher, u.a. Verantwortlich: Dr. S. Kuske
Zurück

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