Allgemeine Informationen

Veranstaltungsname	Vorlesung: Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme
Veranstaltungsnummer	INF-0190/-0262
Semester	SS 2023
Aktuelle Anzahl der Teilnehmenden	14
Heimat-Einrichtung	Grundlagen des Software & Systems Engineering
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Online/Digitale Veranstaltung	Veranstaltung wird als Hybrid/gemischt abgehalten.
Hauptunterrichtssprache	deutsch
Literaturhinweise	U. Schöning: Theoretische Informatik- kurz gefasst, Spektrum 2008 J. Hopcroft, R. Motwani, J. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Pearson 2011 Thomas: Automata on Infinite Objects. Chapter 4 in Handbook of Theoretical Computer Science, Hrsg. van Leeuwen
ECTS-Punkte	6

Lehrende

Tutor/-in

Andreas Schmied

Räume und Zeiten

Die Vorlesung und die Übungen finden ersatzweise nur als Aufzeichnung/Materialsammlung statt.

Studienbereiche

Modulzuordnungen

Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2017, 12. Version (SS 2023) > B.Sc. Ingenieurinformatik (PO '17) - Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme > Modellierung informationstechnischer Systeme (Vorlesung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2018, 10. Version (SS 2023) > Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme > Modellierung informationstechnischer Systeme (Vorlesung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2013, 17. Version (SS 2023) > B.Sc. Ingenieurinformatik (PO '13) - Informatik-Grundlagen > INF-0190 - Modellierung und Analyse technischer Systeme > Modellierung und Analyse technischer Systeme (Vorlesung)

Kommentar/Beschreibung

Diese Vorlesung behandelt endliche Automaten ohne und mit Ausgaben und Beweismethoden für Aussagenlogik. Sie gibt eine Einführung in temporale Logik und Statecharts (UML-Zustandsautomaten).

Vorkenntnisse:
Es werden Kenntnisse über Graphen ("Diskrete Strukturen für Informatiker") und Graphenalgorithmen ("Informatik III") benötigt.
Prüfung:
Die 3std. Vorlesung wird kompakter abgehalten, so dass die Prüfungen evtl. schon in der Vorlesungszeit stattfinden werden.