Lecture: 2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co. - Details

Close message box

You are not logged into Stud.IP.

General information

Course name	Lecture: 2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co.
Subtitle	inf410
Course number	2.01.410
Semester	SoSe2025
Current number of participants	4
expected number of participants	10
Home institute	Department of Computing Science
Courses type	Lecture in category Teaching
Next date	Thursday, 24.07.2025 10:00 - 13:00, Room: (A02 3-340)
Type/Form	V
Lehrsprache	deutsch und englisch

Lecturers

Rooms and times

(A02 3-334): Monday: 10:00 - 12:00, weekly (12x); Tuesday: 14:00 - 16:00, weekly (14x)
(A02 3-340): Thursday, 24.07.2025 10:00 - 13:00

Module assignments

Campusmanagementsystem Stud.IP
- Computing Science - Bachelor's Programme
  - Akzentsetzungsbereich - Wahlbereich Informatik
    - inf410 - Formal Methods
      - Exercises
      - Lecture
- Computing Science - Master of Education Programme (Gymnasium)
  - Wahlpflichtmodule (Theoretische Informatik)
    - inf410 - Formal Methods
      - Exercises
      - Lecture

Comment/Description

Formale Methoden sind mathematisch wohldefinierte Sprachen zur Modellierung von Systemen. Die Studierenden bekommen einen Überblick über verschiedene formale Methoden und ihren Einsatz bei der Modellierung und Analyse von Informatik-Systemen.