Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2

Serviceportal für Studium und Lehre

Startseite

Anmelden

Logout in [min] [minutetext]

WiSe 2024/25

Veranstaltungen Räume und Gebäude Personen

Formal Methods Playground - Einzelansicht

Zurück

Funktionen:

Seiteninhalt:
Grunddaten
Zugeordnete Personen
Studiengänge
Einrichtungen
Inhalt
Strukturbaum

Grunddaten
Veranstaltungsart	Projekt	SWS
Veranstaltungsnummer	424110012	Max. Teilnehmer/-innen	6
Semester	SoSe 2024	Zugeordnetes Modul
Erwartete Teilnehmer/-innen
Rhythmus	einmalig
Hyperlink
Sprache	englisch

Zugeordnete Personen
Zugeordnete Personen	Zuständigkeit
Ringert, Jan, Prof., Dr.rer.nat.
Soaibuzzaman, . , Master of Science

Studiengänge
Abschluss	Studiengang	Semester	Leistungspunkte
M. Sc.	Computer Science and Media (M.Sc.), PV 11	-	15
M. Sc.	Digital Engineering (M.Sc.), PV 17	-	12
M. Sc.	Digital Engineering (M.Sc.), PV 19	-	12
M. Sc.	Computer Science for Digital Media (M.Sc.), PV 18	-	15
B. Sc.	Informatik (B.Sc.), PV 2020	-	12
M. Sc.	Computer Science for Digital Media (M.Sc.), PV 2020	-	12
M. Sc.	Digital Engineering (M.Sc.), PV 2023	-	12

Zuordnung zu Einrichtungen
Fakultät Medien

Inhalt
Beschreibung	We will develop new technologies and applications to use formal methods.
Voraussetzungen	Digital Engineering students must have completed their foundations.
Leistungsnachweis	Projektbericht und Ergebnisse in Form von Software.
Zielgruppe	B.Sc. Informatik, M.Sc. Computer Science and Media, M.Sc. Computer Science for Digital Media, M.Sc. Digital Engineering

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2024 , Aktuelles Semester: WiSe 2024/25

BISON-Portal

Kontakt/Impressum