|
Vorbereitungsgruppe auf die Klausur
|
|
3
|
2300
|
October 1, 2018
|
|
Hilfmittel Klausur ThProg
|
|
2
|
2159
|
September 30, 2018
|
|
Übungsmitschriften Übung 8 - 11
|
|
1
|
1674
|
September 4, 2018
|
|
Lösung Präsenzaufgaben Blatt 4
|
|
3
|
1538
|
July 23, 2018
|
|
Verstärkung gesucht (:
|
|
1
|
1506
|
May 31, 2018
|
|
Church-Codierung (Blatt 5 - 5)
|
|
2
|
1348
|
May 16, 2018
|
|
Frage zu Substitutionen
|
|
2
|
1067
|
May 3, 2018
|
|
Uebungspartner/Gruppe gesucht
|
|
3
|
1146
|
May 2, 2018
|
|
StuvePad Lösungsversuche Altklausuren nicht erreichbar
|
|
4
|
1825
|
January 31, 2018
|
|
Minimierung eines DFA
|
|
8
|
2280
|
January 28, 2018
|
|
Hirnkippe
|
|
2
|
1832
|
October 29, 2017
|
|
Die Spooky-Horror-Picture Show
|
|
18
|
3292
|
October 20, 2017
|
|
Hindley/Milner: Prinzipialtyp
|
|
4
|
1753
|
October 11, 2017
|
|
Konfluenz mit Variable sowohl in Kontext, als auch Substitution
|
|
2
|
1182
|
October 11, 2017
|
|
Probeklausur/2.1
|
|
3
|
1720
|
October 10, 2017
|
|
Konfluenz: c(*), t und σ hinschreiben?
|
|
2
|
1265
|
October 9, 2017
|
|
Übung 11
|
|
1
|
733
|
October 7, 2017
|
|
Fragestunde zur Klausurvorbereitung
|
|
1
|
890
|
October 4, 2017
|
|
Probeklausur SS17
|
|
1
|
985
|
September 15, 2017
|
|
Übung 8
|
|
2
|
1564
|
June 30, 2017
|
|
Übungen SS'17
|
|
2
|
1081
|
April 26, 2017
|
|
Probeklausur Aufgabe 4
|
|
3
|
1129
|
February 17, 2017
|
|
Probeklausur Aufgabe 2.1
|
|
5
|
1397
|
February 17, 2017
|
|
Dringend Tutoren gesucht
|
|
1
|
930
|
January 25, 2017
|
|
Tutoren gesucht
|
|
1
|
1546
|
January 12, 2017
|
|
Struktureller Heulterm
|
|
5
|
1504
|
October 31, 2016
|
|
Frage applikative Reduktion
|
|
7
|
1305
|
October 11, 2016
|
|
Braindump WS15
|
|
2
|
873
|
October 11, 2016
|
|
Fragestunde zur Klausurvorbereitung
|
|
2
|
1064
|
October 6, 2016
|
|
Klausurvorbereitung?
|
|
3
|
1043
|
August 22, 2016
|