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

Modulhandbuch Modulliste (Bachelor) - Modulliste (Master) - Modulkataloge - Personalisierter Modulkatalog - Impressum - Feedback Login mit OpenID

Zeige Systems Engineering-Format

Wirtschaftsinformatik-Format

Informatik-Format

Digitale Medien-Format

Digitale Medien-Ansicht

Modulnummer
Modulbezeichnung	Algebraische Spezifikation (deleted:Sun Jun 20 16:03:13 +0200 2010)
Titel (englisch)
Pflicht/Wahl	Pflicht
Erklärung
CP	6
Berechnung des Workloads
Turnus	i. d. R. angebote alle 2 Jahre
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 - Endliche Automaten, Kontextfreie Sprachen und Grundelemente der Berechenbarkeit, Inhalte von Theoretische Informatik 2 - Formale Sprachen, Berechenbarkeitsmodelle und Komplexität
Lernziele	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
Lerninhalte	Gleichungsspezifikationen Algebren (als Datentypen) und initiale Algebren Korrektheit Parametrisierte Spezifikationen
Quellen	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
Sprache	Deutsch
Bemerkung
Zuletzt geändert	2011-04-19 10:27:48 UTC

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