Die Suche ergab 60 Treffer

von Stao
10. Mär 2014 19:40
Forum: Type Systems of Programming Languages
Thema: Exam
Antworten: 1
Zugriffe: 304

Exam

Hi Sebastian,

is it possible to upload the exam ?
von Stao
25. Feb 2014 10:53
Forum: Type Systems of Programming Languages
Thema: Exam Questions
Antworten: 3
Zugriffe: 479

Exam Questions

Hi,

will the exam tasks be similar to the exercises?
Do we have to do many proofs?
What can we expect?
von Stao
12. Feb 2014 00:37
Forum: Type Systems of Programming Languages
Thema: Questions & Answers
Antworten: 1
Zugriffe: 261

Questions & Answers

Hi,

is it possible to publish the questions & answers for students who could not attend todays lecture?
von Stao
26. Jan 2014 12:34
Forum: Type Systems of Programming Languages
Thema: Question to Fixpoint Combinator
Antworten: 2
Zugriffe: 317

Question to Fixpoint Combinator

In the solution of A4 / Task 2 : Possibility 1 states: ... -> (\n. (\y. (\x. myfun (\y. x x y)) (\x. myfun (\y. x x y)) y) (n+1)) -> (\n. Z myfun (n+1)) in my opinion it should be: -> (\n. (\y. (\x. myfun (\y. x x y)) (\x. myfun (\y. x x y)) y) (n+1)) -> (\n. (\y. (Z myfun) y) (n+1)) where is \y ......
von Stao
3. Nov 2013 20:04
Forum: Type Systems of Programming Languages
Thema: Exercise Solutions
Antworten: 2
Zugriffe: 324

Re: Exercise Solutions

thanks
von Stao
3. Nov 2013 17:19
Forum: Type Systems of Programming Languages
Thema: Exercise Solutions
Antworten: 2
Zugriffe: 324

Exercise Solutions

will there be uploads of the solutions?
von Stao
29. Aug 2013 12:06
Forum: Archiv
Thema: SEDC Post-Exam Review (Klausureinsicht)
Antworten: 29
Zugriffe: 3632

Re: SEDC Post-Exam Review (Klausureinsicht)

i can see my grade now.
von Stao
28. Aug 2013 17:06
Forum: Archiv
Thema: SEDC Post-Exam Review (Klausureinsicht)
Antworten: 29
Zugriffe: 3632

Re: SEDC Post-Exam Review (Klausureinsicht)

i dont (FB18)
von Stao
28. Aug 2013 11:32
Forum: Archiv
Thema: SEDC Post-Exam Review (Klausureinsicht)
Antworten: 29
Zugriffe: 3632

Re: SEDC Post-Exam Review (Klausureinsicht)

Anyways, the Study Office assured me that they will publish the results today.
ist this also true for members of other departments? (e.g. FB 18)
von Stao
28. Aug 2013 09:28
Forum: Archiv
Thema: SEDC Post-Exam Review (Klausureinsicht)
Antworten: 29
Zugriffe: 3632

Re: SEDC Post-Exam Review (Klausureinsicht)

Is there a possibility to publish the results additionally in the svn system?
usually it can take very long for the results to be released ( by the prüf. sek. ).
von Stao
30. Apr 2013 13:01
Forum: Archiv
Thema: Exercise deadline?
Antworten: 1
Zugriffe: 356

Exercise deadline?

Hi

when is the deadline for the exercise submission?
von Stao
16. Apr 2013 15:01
Forum: Archiv
Thema: Lecture tomorow (17.04)
Antworten: 1
Zugriffe: 236

Lecture tomorow (17.04)

Will tomorow be a lecture or nothing?
von Stao
15. Apr 2013 19:36
Forum: Archiv
Thema: Need a partner for exercise
Antworten: 8
Zugriffe: 672

Re: Need a partner for exercise

I'm also looking for a partner. Knowledge of the german language would be nice.

I have some years experience in java / uml.

send me a pm.
von Stao
29. Okt 2012 23:10
Forum: Archiv
Thema: Korrektur beendet
Antworten: 20
Zugriffe: 2448

Re: Korrektur beendet

PM an mich, wer wissen will, wie er an die Fotos kommt.

Zur erweiterten Suche