Formal Methods Playground - Einzelansicht

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

Studiengänge
Abschluss	Studiengang	Semester	Leistungspunkte
Master	Computer Science and Media (M.Sc.), PV 11	-	15
Master	Digital Engineering (M.Sc.), PV 17	-	12
Master	Computer Science for Digital Media (M.Sc.), PV 18	-	15
Master	Digital Engineering (M.Sc.), PV 19	-	12
Bachelor	Informatik (B.Sc.), PV 2020	-	12
Master	Computer Science for Digital Media (M.Sc.), PV 2020	-	12
Master	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

Die Veranstaltung wurde 8 mal im Vorlesungsverzeichnis SoSe 2024 gefunden:

Veranstaltungsverzeichnis der Bauhaus-Universität Weimar

Fakultät Medien

B.Sc. Informatik (ab PV 20)

Projekt- und Einzelarbeit

Informatikprojekt - - - 1

M.Sc. Computer Science for Digital Media (ab PV 20)

Projects - - - 2

English-taught courses of the Faculty

Bachelor - - - 3

Master - - - 4

M.Sc. Computer Science and Media

Projects - - - 5

M.Sc. Digital Engineering (ab PV 2023)

Project - - - 6

M.Sc. Digital Engineering

Project - - - 7

M.Sc. Computer Science for Digital Media

Project - - - 8