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

Informatik-Ansicht

Algebraische Spezifikation (deleted:Sun Jun 20 16:03:13 +0200 2010)


Modulnummer
ME-604.01
Master
Pflicht/Wahl
Wahl Basis Ergänzung
Sonderfall
Zugeordnet zu Masterprofil
Basis Ergänzung
Sicherheit und Qualität
KI, Kognition, Robotik
Digitale Medien und Interaktion
Modulbereich : Mathematik und Theoretische Informatik
Modulteilbereich : 604 Theorie der Programmierung
Anzahl der SWS
V UE K S Prak. Proj. ∑
0 0 4 0 0 0 4
Kreditpunkte : 6 Turnus

i. d. R. angebote alle 2 Jahre

Formale Voraussetzungen : -
Inhaltliche Voraussetzungen : Theoretische Informatik 1 - Endliche Automaten, Kontextfreie Sprachen und Grundelemente der Berechenbarkeit, Inhalte von Theoretische Informatik 2 - Formale Sprachen, Berechenbarkeitsmodelle und Komplexität
Vorgesehenes Semester : ab 1. Semester
Sprache : Deutsch
Ziele :
  • Einsichten in die Prinzipien der algebraischen Spezifikation von Datentypen und datenverarbeitenden Systemen
  • Erkenntnisse über operationelle Termersetzungs- sowie initiale und lose Modellsemantik
  • Vertiefte Einsichten in den Korrektheitsbegriff
  • Fähigkeit zum Nachvollziehen von und zum Umgang mit formalen Modellierungsmethoden und ihren semantischen Eigenschaften
  • Logisches Denken und Abstraktionsfähigkeit
  • Aneignung formaler Konzepte und Methoden
  • Kooperation und Teamfähigkeit durch Gruppenarbeit
Inhalte :
  1. Gleichungsspezifikationen
  2. Algebren (als Datentypen) und initiale Algebren
  3. Korrektheit
  4. Parametrisierte Spezifikationen
Unterlagen (Skripte, Literatur, Programme usw.) :
  • H.-J. Kreowski: Algebraische Spezifikation, Skript
  • H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1, Springer, 1985
  • E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.): Algebraic Foundations of Systems Specification, Springer, 1999
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: Prof. Dr. H.-J. Kreowski, Prof. Dr. L. Schröder (Vertretungsprofessur), u. a. Verantwortlich
Zurück

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