|
About the Theorie der Programmierung category
|
|
0
|
48
|
20. Dezember 2022
|
|
Haben wir andere Alteklausur?
|
|
2
|
253
|
17. Februar 2023
|
|
Klausur Konfluenz und Terminierung
|
|
3
|
2346
|
31. Januar 2022
|
|
SS20: () -> Heulthread
|
|
4
|
4273
|
16. November 2020
|
|
Frage über (ko-)induktive Datentypen
|
|
2
|
1431
|
29. Oktober 2020
|
|
ThProg Intensivübung
|
|
3
|
2421
|
6. Mai 2020
|
|
Gruppenabgabe
|
|
1
|
1603
|
4. Mai 2020
|
|
Zoom
|
|
2
|
1676
|
21. April 2020
|
|
ThProg Klausur Ergebnis WS2019
|
|
6
|
2534
|
7. März 2020
|
|
Lerngruppe gesucht
|
|
9
|
2162
|
12. Februar 2020
|
|
Tutoren gesucht
|
|
1
|
1669
|
14. Januar 2020
|
|
Bonuspunkte
|
|
1
|
2015
|
29. Oktober 2019
|
|
Stand Korrektur?
|
|
4
|
2201
|
17. Oktober 2019
|
|
Klausur
|
|
4
|
2156
|
7. Oktober 2019
|
|
Typisierungsregeln - wie kommt man auf alpha?
|
|
3
|
1914
|
30. September 2019
|
|
Übungsblatt 4, Übung 1
|
|
2
|
2051
|
17. September 2019
|
|
Alpha Äquivalenz
|
|
17
|
4750
|
2. Juni 2019
|
|
Konfluenz/Kritische Paare
|
|
3
|
2168
|
30. Mai 2019
|
|
SS19 Suche Gruppe/Gruppenpartner für Übungen
|
|
2
|
2068
|
25. Mai 2019
|
|
Substitutionen
|
|
4
|
2096
|
23. Mai 2019
|
|
Finden kritischer Paare
|
|
5
|
2558
|
23. Mai 2019
|
|
Lösung Präsenzaufgaben Blatt 2
|
|
2
|
2087
|
17. Mai 2019
|
|
Suche Abgabepartner/Abgabegruppe
|
|
1
|
1957
|
9. Mai 2019
|
|
SS2018 Klausur Aufgabe1 Konfluenz und Terminierung
|
|
3
|
2712
|
17. Februar 2019
|
|
SS2018 Klausur Aufgabe4 Frage an Koinduktion Kann jemand sehen, was ich falsch gemacht habe?
|
|
5
|
2484
|
15. Februar 2019
|
|
dat war doof
|
|
7
|
3958
|
16. Oktober 2018
|
|
Ort der Klausur
|
|
5
|
2482
|
10. Oktober 2018
|
|
Kritische Paare
|
|
1
|
2532
|
9. Oktober 2018
|
|
Delta-Reduktionen bei applikativer Reduktion
|
|
2
|
2460
|
6. Oktober 2018
|
|
Fragestunde zur Klausur (SS18)
|
|
3
|
2396
|
6. Oktober 2018
|