|
Kommunikation und parallele Prozesse (KommPar)7.5 ECTS (englische Bezeichnung: Communication and Parallel Processes)
Modulverantwortliche/r: Lutz Schröder Lehrende:
Lutz Schröder
Start semester: |
WS 2022/2023 | Duration: |
1 semester | Cycle: |
unregelmäßig |
Präsenzzeit: |
90 Std. | Eigenstudium: |
135 Std. | Language: |
Deutsch und Englisch |
Lectures:
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: Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:
- Artificial Intelligence (Master of Science)
(Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | Symbolic Artificial Intelligence | Kommunikation und Parallele Prozesse)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Theoretische Informatik | Kommunikation und Parallele Prozesse)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsrichtung Theoretische Informatik | Kommunikation und Parallele Prozesse)
- Informatik (Bachelor of Science)
(Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik | Kommunikation und Parallele Prozesse)
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik | Kommunikation und Parallele Prozesse)
- Informatik (Bachelor of Science)
(Po-Vers. 2022w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (Wahlpflichtmodule aus mind. 2 Vertiefungsrichtungen) | Vertiefungsrichtung Theoretische Informatik | Kommunikation und Parallele Prozesse)
- Informatik (Master of Science)
(Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsrichtung Theoretische Informatik | Kommunikation und Parallele Prozesse)
- Mathematik (Bachelor of Science)
(Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik | Kommunikation und Parallele Prozesse)
- Mathematik (Bachelor of Science)
(Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik | Kommunikation und Parallele Prozesse)
- Wirtschaftsinformatik (Bachelor of Science)
(Po-Vers. 2017w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Vertiefungsbereich | Kommunikation und Parallele Prozesse)
- Wirtschaftsinformatik (Bachelor of Science)
(Po-Vers. 2018w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Vertiefungsbereich | Kommunikation und Parallele Prozesse)
- Wirtschaftsinformatik (Bachelor of Science)
(Po-Vers. 2020w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereiche | Wahlpflichtbereich Informatik | Kommunikation und Parallele Prozesse)
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)
|
|
|