|
Wirtschaftsinformatik (Bachelor of Science) >>
|
Kommunikation und parallele Prozesse (KommPar)7.5 ECTS (englische Bezeichnung: Communication and Parallel Processes)
(Prüfungsordnungsmodul: Kommunikation und Parallele Prozesse)
Modulverantwortliche/r: Lutz Schröder Lehrende:
Lutz Schröder
Startsemester: |
WS 2022/2023 | Dauer: |
1 Semester | Turnus: |
unregelmäßig |
Präsenzzeit: |
90 Std. | Eigenstudium: |
135 Std. | Sprache: |
Deutsch und Englisch |
Lehrveranstaltungen:
Inhalt:
Lernziele und Kompetenzen:
- Fachkompetenz
- Wissen
- Die Studierenden geben elementare Definitionen und Fakten zu reaktiven Systemen wieder.
- Verstehen
- Die Studierenden
erläutern semantische Grundbegriffe, insbesondere Systemtypen und Systemäquivalenzen, und identifizieren ihre wesentlichen Eigenschaften
erläutern die Syntax und Semantik von Logiken und Prozesskalkülen
fassen wesentliche Metaeigenschaften von Logiken und Prozesskalkülen zusammen.
- Anwenden
- Die Studierenden
übersetzen Prozessalgebraische Terme in ihre denotationelle und operationelle Semantik
prüfen Systeme auf verschiedene Formen von Bsimilarität
prüfen Erfüllheit modaler Fixpunktformeln in gegebenen Systemen
implementieren nebenläufige Probleme in Prozessalgebren
spezifizieren das Verhalten nebenläufiger Prozesse im modalen mu-Kalkül.
- Analysieren
- Die Studierenden
- Evaluieren (Beurteilen)
- Die Studierenden
vergleichen prozessalgebraische und logische Kalküle hinsichtlich Ausdrucksmächtigkeit und Berechenbarkeitseigenschaften
hinterfragen die Eignung eines Kalküls zur Lösung einer gegebenen Problemstellung
- Lern- bzw. Methodenkompetenz
- Die Studierenden beherrschen das grundsätzliche Konzept des Beweises als hauptsächliche Methode des Erkenntnisgewinns in der theoretischen Informatik. Sie überblicken abstrakte Begriffsarchitekturen.
- Sozialkompetenz
- Die Studierenden lösen abstrakte Probleme in kollaborativer Gruppenarbeit.
Literatur:
- Robin Milner, Communication and Concurrency, Prentice-Hall, 1989
Julian Bradfield and Colin Stirling, Modal mu-calculi. In: Patrick Blackburn, Johan van Benthem and Frank Wolter (eds.), The Handbook of Modal Logic, pp. 721-756. Elsevier, 2006.
Jan Bergstra, Alban Ponse and Scott Smolka (eds.), Handbook of Process Algebra, Elsevier, 2006.
L. Aceto, A. Ingolfsdottir, K. Larsen and J. Srba, Reactive Systems, Cambridge University Press, 2011
Weitere Informationen:
www: http://www8.cs.fau.de/teaching/WS22/cpp
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Wirtschaftsinformatik (Bachelor of Science)
(Po-Vers. 2020w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereiche | Wahlpflichtbereich Informatik | Kommunikation und Parallele Prozesse)
Dieses Modul ist daneben auch in den Studienfächern "Artificial Intelligence (Master of Science)", "Informatik (Bachelor of Arts (2 Fächer))", "Informatik (Bachelor of Science)", "Informatik (Master of Science)", "Mathematik (Bachelor of Science)" verwendbar. Details
Studien-/Prüfungsleistungen:
Kommunikation und Parallele Prozesse (Prüfungsnummer: 173107)
- Prüfungsleistung, mündliche Prüfung, Dauer (in Minuten): 30, benotet
- Anteil an der Berechnung der Modulnote: 100.0 %
- weitere Erläuterungen:
Die Modulnote setzt sich zu 50% aus dem Ergebnis einer 30-minütigen mündlichen Prüfung am Semesterende und zu 50% aus der Note für die Bearbeitung von 6 Übungsaufgabenblättern zusammen.
- Prüfungssprache: Deutsch und Englisch
- Erstablegung: WS 2022/2023, 1. Wdh.: SS 2023 (nur für Wiederholer)
|
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|