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 2021
Current number of participants 31
Home institute Grundlagen des Software & Systems Engineering
Courses type Lecture in category Teaching
Next date Tue , 18.05.2021 10:15 - 11:45
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

n.a Tuesday: 10:15 - 11:45, weekly
Wednesday: 11:45 - 14:00, weekly

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.