Digicampus
Vorlesung: Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird online/digital abgehalten.

Allgemeine Informationen

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

Räume und Zeiten

Keine Raumangabe

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).