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

Digitale Medien-Ansicht 

Modulnummer
 
Modulbezeichnung
 Formale Sprachen 
Titel (englisch)
 Formal Languages 
Pflicht/Wahl
 Pflicht 
Erklärung
 
CP
 6 
Berechnung des Workloads
 
Turnus
 unregelmäßig 
Dauer
 ein Semester 
Form
 4 SWS K 
Prüfung
 i.d.R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung 
Anforderungen
 Theoretische Informatik 1, Theoretische Informatik 2 
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)
 
Quellen

abhängig vom konkreten Inhalt

 
Sprache
 Deutsch 
Bemerkung
 
Zuletzt geändert
 2018-03-21 14:37:28 UTC
Zurück

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