Personal Details

Umsetzung der erworbenen Kenntnisse in Form eines praktischen Projektes.

Diese Projekte orientieren sich dabei an den Forschungsfragestellungen des Studienganges sowie an Kooperationsprojekten mit der Industrie.

Fokus liegt dabei vor allem auf dem breiten Industrie 4.0 - Anwendungsbereich.

Diskussion der dabei gewonnenen Erfahrungen der Studierenden und Reflexion der Erkenntnisse.

Unter Anleitung durch die Lehrenden dieses Masterstudienganges erarbeiten Studierende Konzepte und überprüfen diese Konzepte in Form von Prototypen.

Immanente Leistungsüberprüfung

praktisch/konstruktive permanente Leistungskontrolle und Dokumentation

- Einführung in die Grundlagen der Automatentheorie- Begriffe und Grundlagen

- Endliche Automaten

- Deterministische Automaten

- Kontextfreie Grammatiken und Sprachen

- State Machines - Zweck und Funktionsweise

- Formale Darstellung

- Methoden und Techniken zur formalen Verifikation- Formale Spezifikation von Programmen

- Korrektheitsbeweise

Vortrag

praktische Übungen in Präsenz und Fernlehre

Immanente Leistungsüberprüfung

Einzel- und Gruppenarbeiten für den immanenten Prüfungsteil sowie eine abschließende schriftliche Prüfung