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 2020
Current number of participants 30
Home institute Theorie verteilter Systeme
Courses type Lecture in category Teaching
First date Mon , 20.04.2020 15:45 - 17:15, Room: (1057N -- 1. Vorlesung!! sonst meist Übung)
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

(1057N) Monday: 15:45 - 17:15, weekly (12x)
(1057N -- 1. Vorlesung!! sonst meist Übung) Monday: 15:45 - 17:15, weekly (1x)
(2045N) Wednesday: 14:00 - 15:30, weekly (14x)
Thursday: 15:45 - 17:15, weekly (11x)

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.