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 Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon

Wirtschaftsinformatik-Ansicht

Formale Sprachen


Formal Languages
Modulnummer
Bachelor
Pflicht/Wahl
Winf-Schwerpunkt-Pflicht
Winf-Schwerpunkt-Wahlpflicht
Wahl
Schwerpunkt
IT-Management
E-Business
Logistik
Computational Finance
Anzahl der SWS
V UE K S Prak. Proj.
0 0 4 0 0 0 4
Kreditpunkte : 6 Turnus

unregelmäßig

Formale Voraussetzungen : -
Inhaltliche Voraussetzungen : Theoretische Informatik 1, Theoretische Informatik 2
Vorgesehenes Semester : ab 1. Semester
Sprache : Deutsch
Ziele :
  • 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.
Inhalte :

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

  • Formale Sprachen: Graphtransformation (MB-603.01/1)
Unterlagen (Skripte, Literatur, Programme usw.) :

abhängig vom konkreten Inhalt

Form der Prüfung : i.d.R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Arbeitsaufwand
Präsenz 56
Übungsbetrieb/Prüfungsvorbereitung 124
Summe 180 h
Lehrende: Dr. B. Hoffmann, Dr. K. Hölscher, u.a. Verantwortlich Dr. S. Kuske
Zurück

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