Current page:
Lecture: Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme - Details

  • Detaillierte Informationen über die Veranstaltung werden angezeigt, wie z.B. die Veranstaltungsnummer, Zuordnungen, DozentInnen, TutorInnen etc. In den Detail-Informationen ist unter Aktionen das Eintragen in eine Veranstaltung möglich.

  • link-extern Further help
You are not logged in.

Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme wichtige Infos unter http://www.informatik.uni-augsburg.de/lehrstuehle/swt/ti/lehre/ss19/Modellierung/

General information

Course number INF-0262, INF-0190
Semester SS 2019
Home institute Theorie verteilter Systeme
Courses type Lecture in category Teaching
Hauptunterrichtssprache deutsch
ECTS points 6

Lecturers

Times

The course times are not decided yet.

Course location

unspecified

Fields of study

Comment/Description

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

attendance

Current number of participants 26