Allgemeine Informationen

Veranstaltungsname	Vorlesung: Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme
Veranstaltungsnummer	INF-0262
Semester	SS 2022
Aktuelle Anzahl der Teilnehmenden	18
Heimat-Einrichtung	Grundlagen des Software & Systems Engineering
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Veranstaltung findet online statt / hat Remote-Bestandteile	Ja
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

Räume und Zeiten

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

Studienbereiche

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.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Bachelor Ingenieurinformatik".

Folgende Regeln gelten für die Anmeldung:

Folgende Bedingung muss zur Anmeldung erfüllt sein:

Abschluss ist Bachelor of Science und Studienfach ist Ingenieurinformatik

Vorlesung: Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme - Details