Digicampus
Lecture: Logik für Informatiker / Modellierung diskreter Systeme /Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird in Präsenz abgehalten.

General information

Course name Lecture: Logik für Informatiker / Modellierung diskreter Systeme /Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme
Course number INF-0155/-0355/-0190/-0262
Semester WS 2023/24
Current number of participants 49
Home institute Grundlagen des Software & Systems Engineering
Courses type Lecture in category Teaching
First date Wednesday, 18.10.2023 09:00 - 11:30, Room: (1057 N)
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz 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

Rooms and times

(1057 N)
Wednesday: 09:00 - 11:30, weekly (13x)

Module assignments

Comment/Description

Diese Vorlesung behandelt die Modellierung mit Automaten, Spezifikation mit Logik und diskutiert Verifikation.