MTV Project: Research at Work
| Parameter | Wert |
|---|---|
| Niveau | Master Computer Science (Informatik) Studiengebiet Grundlagen der Informatik |
| Vorkenntnisse | Diskrete Mathematik und Theoretische Informatik |
| LP | 9 |
| Bestandteile | 4PJ "MTV Project: Research at Work" |
| Semester | WiSe & SoSe |
| Prüfungsform | Portfolioprüfung |
| Details | siehe Modulbeschreibung |
| Je nach Semester-Fokus. Die Durchführbarkeit des Moduls hängt stark von den Vorkenntnissen der interessierten Teilnehmer ab, weshalb es nicht strikt an Semestervorgaben geknüpft wird. | |
| Anmeldung | Interessensbekundungen: per Email an lehre@mtv.tu-berlin.de |
News
Wintersemester 2023/24
Montag, 16. Oktober 2023
Ziel ist, spieltheoretisch generalisierte Charakterisierungen von Prozessgleichheiten in Isabelle/HOL zu verifizieren.
Thema im Sommersemester des akademischen Jahres 20/21
Mittwoch, 14. April 2021
Vorläufiges Ziel ist die Entwicklung einer Serie von Screencasts, die es ermöglichen sollen, den Barendregt'schen Lambda-Cube in all seinen Dimensionen zu verstehen. Teilnehmer:innen sollten über sehr gute Vorkenntnisse im Bereich Lambda-Kalkül und Typ-Systeme (oder zumindest in Theoretischer Informatik) verfügen.
Init
Mittwoch, 01. April 2020
Das Modul ist einer der Nachfolger des ehemaligen Projekts Writing and Publishing a Scientific Paper in Concurrency Theory, das neu konzipiert und in zwei Teile aufgespaltet wurde.