|
Vorbereitungsgruppe auf die Klausur
|
|
3
|
2396
|
October 1, 2018
|
|
Hilfmittel Klausur ThProg
|
|
2
|
2256
|
September 30, 2018
|
|
Übungsmitschriften Übung 8 - 11
|
|
1
|
1743
|
September 4, 2018
|
|
Lösung Präsenzaufgaben Blatt 4
|
|
3
|
1624
|
July 23, 2018
|
|
Verstärkung gesucht (:
|
|
1
|
1574
|
May 31, 2018
|
|
Church-Codierung (Blatt 5 - 5)
|
|
2
|
1451
|
May 16, 2018
|
|
Frage zu Substitutionen
|
|
2
|
1160
|
May 3, 2018
|
|
Uebungspartner/Gruppe gesucht
|
|
3
|
1233
|
May 2, 2018
|
|
StuvePad Lösungsversuche Altklausuren nicht erreichbar
|
|
4
|
1940
|
January 31, 2018
|
|
Minimierung eines DFA
|
|
8
|
2526
|
January 28, 2018
|
|
Hirnkippe
|
|
2
|
1913
|
October 29, 2017
|
|
Die Spooky-Horror-Picture Show
|
|
18
|
3461
|
October 20, 2017
|
|
Hindley/Milner: Prinzipialtyp
|
|
4
|
1835
|
October 11, 2017
|
|
Konfluenz mit Variable sowohl in Kontext, als auch Substitution
|
|
2
|
1274
|
October 11, 2017
|
|
Probeklausur/2.1
|
|
3
|
1802
|
October 10, 2017
|
|
Konfluenz: c(*), t und σ hinschreiben?
|
|
2
|
1369
|
October 9, 2017
|
|
Übung 11
|
|
1
|
802
|
October 7, 2017
|
|
Fragestunde zur Klausurvorbereitung
|
|
1
|
970
|
October 4, 2017
|
|
Probeklausur SS17
|
|
1
|
1058
|
September 15, 2017
|
|
Übung 8
|
|
2
|
1641
|
June 30, 2017
|
|
Übungen SS'17
|
|
2
|
1161
|
April 26, 2017
|
|
Probeklausur Aufgabe 4
|
|
3
|
1208
|
February 17, 2017
|
|
Probeklausur Aufgabe 2.1
|
|
5
|
1561
|
February 17, 2017
|
|
Dringend Tutoren gesucht
|
|
1
|
994
|
January 25, 2017
|
|
Tutoren gesucht
|
|
1
|
1609
|
January 12, 2017
|
|
Struktureller Heulterm
|
|
5
|
1615
|
October 31, 2016
|
|
Frage applikative Reduktion
|
|
7
|
1401
|
October 11, 2016
|
|
Braindump WS15
|
|
2
|
952
|
October 11, 2016
|
|
Fragestunde zur Klausurvorbereitung
|
|
2
|
1161
|
October 6, 2016
|
|
Klausurvorbereitung?
|
|
3
|
1138
|
August 22, 2016
|