Vorlesung: Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird online/digital abgehalten.
Veranstaltungsname
Vorlesung: Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme
Untertitel
wichtige Infos unter http://www.informatik.uni-augsburg.de/lehrstuehle/swt/ti/lehre/ss19/Modellierung/
Veranstaltungsnummer
INF-0262, INF-0190
Semester
SS 2019
Aktuelle Anzahl der Teilnehmenden
14
Heimat-Einrichtung
Theorie verteilter und paralleler Systeme
Veranstaltungstyp
Vorlesung in der Kategorie Lehre
Online/Digitale Veranstaltung
Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache
deutsch
ECTS-Punkte
6
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).