Digicampus
Lecture: Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird online/digital abgehalten.

General information

Course number INF-0262
Semester SS 2022
Current number of participants 29
Home institute Grundlagen des Software & Systems Engineering
Courses type Lecture in category Teaching
Online/Digitale Veranstaltung Veranstaltung wird online/digital 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 points 6

Course location / Course dates

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

Module assignments

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

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.

Admission settings

The course is part of admission "Bachelor Ingenieurinformatik".
Settings for unsubscribe:
  • The following conditions must be met for enrolment:
    Subject is Ingenieurinformatik and Degree is Bachelor of Science