|
About the Theorie der Programmierung category
|
|
0
|
79
|
December 20, 2022
|
|
Haben wir andere Alteklausur?
|
|
2
|
313
|
February 17, 2023
|
|
Klausur Konfluenz und Terminierung
|
|
3
|
2418
|
January 31, 2022
|
|
SS20: () -> Heulthread
|
|
4
|
4363
|
November 16, 2020
|
|
Frage über (ko-)induktive Datentypen
|
|
2
|
1507
|
October 29, 2020
|
|
ThProg Intensivübung
|
|
3
|
2453
|
May 6, 2020
|
|
Gruppenabgabe
|
|
1
|
1637
|
May 4, 2020
|
|
Zoom
|
|
2
|
1706
|
April 21, 2020
|
|
ThProg Klausur Ergebnis WS2019
|
|
6
|
2590
|
March 7, 2020
|
|
Lerngruppe gesucht
|
|
9
|
2210
|
February 12, 2020
|
|
Tutoren gesucht
|
|
1
|
1706
|
January 14, 2020
|
|
Bonuspunkte
|
|
1
|
2043
|
October 29, 2019
|
|
Stand Korrektur?
|
|
4
|
2239
|
October 17, 2019
|
|
Klausur
|
|
4
|
2193
|
October 7, 2019
|
|
Typisierungsregeln - wie kommt man auf alpha?
|
|
3
|
1976
|
September 30, 2019
|
|
Übungsblatt 4, Übung 1
|
|
2
|
2093
|
September 17, 2019
|
|
Alpha Äquivalenz
|
|
17
|
4872
|
June 2, 2019
|
|
Konfluenz/Kritische Paare
|
|
3
|
2254
|
May 30, 2019
|
|
SS19 Suche Gruppe/Gruppenpartner für Übungen
|
|
2
|
2114
|
May 25, 2019
|
|
Substitutionen
|
|
4
|
2147
|
May 23, 2019
|
|
Finden kritischer Paare
|
|
5
|
2604
|
May 23, 2019
|
|
Lösung Präsenzaufgaben Blatt 2
|
|
2
|
2148
|
May 17, 2019
|
|
Suche Abgabepartner/Abgabegruppe
|
|
1
|
1985
|
May 9, 2019
|
|
SS2018 Klausur Aufgabe1 Konfluenz und Terminierung
|
|
3
|
2760
|
February 17, 2019
|
|
SS2018 Klausur Aufgabe4 Frage an Koinduktion Kann jemand sehen, was ich falsch gemacht habe?
|
|
5
|
2532
|
February 15, 2019
|
|
dat war doof
|
|
7
|
4027
|
October 16, 2018
|
|
Ort der Klausur
|
|
5
|
2530
|
October 10, 2018
|
|
Kritische Paare
|
|
1
|
2581
|
October 9, 2018
|
|
Delta-Reduktionen bei applikativer Reduktion
|
|
2
|
2501
|
October 6, 2018
|
|
Fragestunde zur Klausur (SS18)
|
|
3
|
2445
|
October 6, 2018
|