|
Vorbereitungsgruppe auf die Klausur
|
|
3
|
2367
|
1. Oktober 2018
|
|
Hilfmittel Klausur ThProg
|
|
2
|
2215
|
30. September 2018
|
|
Übungsmitschriften Übung 8 - 11
|
|
1
|
1712
|
4. September 2018
|
|
Lösung Präsenzaufgaben Blatt 4
|
|
3
|
1588
|
23. Juli 2018
|
|
Verstärkung gesucht (:
|
|
1
|
1549
|
31. Mai 2018
|
|
Church-Codierung (Blatt 5 - 5)
|
|
2
|
1416
|
16. Mai 2018
|
|
Frage zu Substitutionen
|
|
2
|
1124
|
3. Mai 2018
|
|
Uebungspartner/Gruppe gesucht
|
|
3
|
1207
|
2. Mai 2018
|
|
StuvePad Lösungsversuche Altklausuren nicht erreichbar
|
|
4
|
1899
|
31. Januar 2018
|
|
Minimierung eines DFA
|
|
8
|
2425
|
28. Januar 2018
|
|
Hirnkippe
|
|
2
|
1883
|
29. Oktober 2017
|
|
Die Spooky-Horror-Picture Show
|
|
18
|
3399
|
20. Oktober 2017
|
|
Hindley/Milner: Prinzipialtyp
|
|
4
|
1805
|
11. Oktober 2017
|
|
Konfluenz mit Variable sowohl in Kontext, als auch Substitution
|
|
2
|
1242
|
11. Oktober 2017
|
|
Probeklausur/2.1
|
|
3
|
1773
|
10. Oktober 2017
|
|
Konfluenz: c(*), t und σ hinschreiben?
|
|
2
|
1329
|
9. Oktober 2017
|
|
Übung 11
|
|
1
|
781
|
7. Oktober 2017
|
|
Fragestunde zur Klausurvorbereitung
|
|
1
|
943
|
4. Oktober 2017
|
|
Probeklausur SS17
|
|
1
|
1031
|
15. September 2017
|
|
Übung 8
|
|
2
|
1618
|
30. Juni 2017
|
|
Übungen SS'17
|
|
2
|
1122
|
26. April 2017
|
|
Probeklausur Aufgabe 4
|
|
3
|
1180
|
17. Februar 2017
|
|
Probeklausur Aufgabe 2.1
|
|
5
|
1471
|
17. Februar 2017
|
|
Dringend Tutoren gesucht
|
|
1
|
969
|
25. Januar 2017
|
|
Tutoren gesucht
|
|
1
|
1585
|
12. Januar 2017
|
|
Struktureller Heulterm
|
|
5
|
1569
|
31. Oktober 2016
|
|
Frage applikative Reduktion
|
|
7
|
1354
|
11. Oktober 2016
|
|
Braindump WS15
|
|
2
|
924
|
11. Oktober 2016
|
|
Fragestunde zur Klausurvorbereitung
|
|
2
|
1122
|
6. Oktober 2016
|
|
Klausurvorbereitung?
|
|
3
|
1102
|
22. August 2016
|