inf454 - Kommunizierende und mobile Systeme (Veranstaltungsübersicht)

inf454 - Kommunizierende und mobile Systeme (Veranstaltungsübersicht)

Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Wintersemester 2020/2021 Prüfungsleistung
Vorlesung
  • Kein Zugang 2.01.454 - Kommunizierende und mobile Systeme Lehrende anzeigen
    • Prof. Dr. Ernst-Rüdiger Olderog
    • Paul Jonathan Hannibal

    Mittwoch: 10:00 - 12:00, wöchentlich (ab 21.10.2020)
    Freitag: 10:00 - 12:00, wöchentlich (ab 23.10.2020)
    Termine am Mittwoch, 24.02.2021 10:00 - 12:00
Übung
  • Kein Zugang 2.01.454 - Kommunizierende und mobile Systeme Lehrende anzeigen
    • Prof. Dr. Ernst-Rüdiger Olderog
    • Paul Jonathan Hannibal

    Mittwoch: 10:00 - 12:00, wöchentlich (ab 21.10.2020)
    Freitag: 10:00 - 12:00, wöchentlich (ab 23.10.2020)
    Termine am Mittwoch, 24.02.2021 10:00 - 12:00
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