inf454 - Kommunizierende und mobile Systeme (Veranstaltungsübersicht) - Campusmanagementsystem Stud.IP

inf454 - Kommunizierende und mobile Systeme (Veranstaltungsübersicht)

Department für Informatik

6 KP

Modulteile

Semesterveranstaltungen Sommersemester 2016

Prüfungsleistung

Vorlesung

2.01.454 - Kommunizierende und mobile Systeme
- Prof. Dr. Ernst-Rüdiger Olderog
- Manuel Gieseking
- Björn Engelmann
Dienstag: 14:00 - 16:00, wöchentlich (ab 05.04.2016), V, Ort: A03 2-209
Donnerstag: 14:00 - 16:00, wöchentlich (ab 07.04.2016), Ü, Ort: A05 1-160
Termine am Donnerstag, 21.07.2016 10:00 - 12:00, Ort: A04 2-221

Übung

2.01.454 - Kommunizierende und mobile Systeme
- Prof. Dr. Ernst-Rüdiger Olderog
- Manuel Gieseking
- Björn Engelmann
Dienstag: 14:00 - 16:00, wöchentlich (ab 05.04.2016), V, Ort: A03 2-209
Donnerstag: 14:00 - 16:00, wöchentlich (ab 07.04.2016), Ü, Ort: A05 1-160
Termine am Donnerstag, 21.07.2016 10:00 - 12:00, Ort: A04 2-221

Hinweise zum Modul

Teilnahmevoraussetzungen	Keine Teilnehmervoraussetzungen
Prüfungszeiten	am Ende der Vorlesungszeit
Prüfungsleistung Modul	Fachpraktische Übungen und Klausur oder Fachpraktische Übungen und mündliche Prüfung.
Kompetenzziele	Einführung in Milners Kalkül der kommunizierenden Systeme (CCS) und den pi-Kalkül. Fachkompetenzen Die Studierenden: kennen die Theorie der operationellen Semantik von CCS und des pi-Kalküls führen Äquivalenzbeweise mittels Simulationen und Bisimulationen spezifizieren kommunizierende und mobile Systeme mit CCS und dem pi-Kalkül Methodenkompetenzen Die Studierenden: lernen unterschiedliche Sichtweisen von Mobilität kennen erkennen Äquivalenzen als formales Mittel für Systemkorrektheit Sozialkompetenzen Die Studierenden: arbeiten in kleinen Gruppen an Lösungen von Aufgaben präsentieren Lösungen von Aufgaben vor Gruppen Selbstkompetenzen Die Studierenden: erlernen Ausdauer bei der Bearbeitung schwieriger Aufgaben erlernen Präzision bei der Spezifikation von Problemen