Inhalt des Dokuments
Lehre
-
Lehrangebot im Wintersemester 22/23
Die angebotenen Module sind hier aufgelistet.
-
Voraussichtliches Lehrangebot im Sommersemester 21/22
Pflichtmodul im Bachelor: Formale Sprachen und Automaten (ForSA) Wahlpflichtmodule im Bachelor/Master: Einführung in das interaktive Theorembeweisen (Blockangebot in der VL-freien Zeit)Algebraische Prozesskalküle Je nach...
-
Lehrangebot im Sommersemester 20/21
Das Angebot ist auf https://www.mtv.tu-berlin.de/menue/lehre/veranstaltungen/2021_sose/ einsehbar.
-
Lehrangebot im Wintersemester 20/21
Aufgrund der Pandemiesituation und der Verlegung des Moduls "Formale Sprachen und Automaten" vom Wintersemester ins Sommersemester werden im Wintersemester nur das Modul "Lambda Calculus and Type Systems" und...
-
Lehrangebot im Sommersemester 19/20
Im Pandemiesommersemester 19/20 gilt folgendes Angebot: Digital werden durchgeführt: "Reaktive Systeme""The Software Horror Picture Show""Programmierpraktikum: Modelle Dynamischer...
-
WraP, Reloaded ...
Das Modul "Writing and Publishing a Scientific Paper in Concurrency Theory" wird aufgeteilt in das "MTV Projekt: RaW" und das "MTV Seminar: WRaP".
-
Auf vielfachen Wunsch: Lambda-Kalkül und Typsysteme
Zum WiSe 19/20 wird das Modul erneut und in geänderter Form angeboten werden.