Hi Sebastian,
is it possible to upload the exam ?
Die Suche ergab 60 Treffer
- 10. Mär 2014 19:40
- Forum: Type Systems of Programming Languages
- Thema: Exam
- Antworten: 1
- Zugriffe: 410
- 25. Feb 2014 10:53
- Forum: Type Systems of Programming Languages
- Thema: Exam Questions
- Antworten: 3
- Zugriffe: 594
Exam Questions
Hi,
will the exam tasks be similar to the exercises?
Do we have to do many proofs?
What can we expect?
will the exam tasks be similar to the exercises?
Do we have to do many proofs?
What can we expect?
- 12. Feb 2014 00:37
- Forum: Type Systems of Programming Languages
- Thema: Questions & Answers
- Antworten: 1
- Zugriffe: 385
Questions & Answers
Hi,
is it possible to publish the questions & answers for students who could not attend todays lecture?
is it possible to publish the questions & answers for students who could not attend todays lecture?
- 28. Jan 2014 11:50
- Forum: Type Systems of Programming Languages
- Thema: Question to Fixpoint Combinator
- Antworten: 2
- Zugriffe: 489
Re: Question to Fixpoint Combinator
yes
thanks

- 26. Jan 2014 12:34
- Forum: Type Systems of Programming Languages
- Thema: Question to Fixpoint Combinator
- Antworten: 2
- Zugriffe: 489
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 ......
- 3. Nov 2013 20:04
- Forum: Type Systems of Programming Languages
- Thema: Exercise Solutions
- Antworten: 2
- Zugriffe: 408
Re: Exercise Solutions
thanks
- 3. Nov 2013 17:19
- Forum: Type Systems of Programming Languages
- Thema: Exercise Solutions
- Antworten: 2
- Zugriffe: 408
Exercise Solutions
will there be uploads of the solutions?
- 29. Aug 2013 12:06
- Forum: Archiv
- Thema: SEDC Post-Exam Review (Klausureinsicht)
- Antworten: 29
- Zugriffe: 4108
Re: SEDC Post-Exam Review (Klausureinsicht)
i can see my grade now.
- 28. Aug 2013 17:06
- Forum: Archiv
- Thema: SEDC Post-Exam Review (Klausureinsicht)
- Antworten: 29
- Zugriffe: 4108
Re: SEDC Post-Exam Review (Klausureinsicht)
i dont (FB18)
- 28. Aug 2013 11:32
- Forum: Archiv
- Thema: SEDC Post-Exam Review (Klausureinsicht)
- Antworten: 29
- Zugriffe: 4108
Re: SEDC Post-Exam Review (Klausureinsicht)
ist this also true for members of other departments? (e.g. FB 18)Anyways, the Study Office assured me that they will publish the results today.
- 28. Aug 2013 09:28
- Forum: Archiv
- Thema: SEDC Post-Exam Review (Klausureinsicht)
- Antworten: 29
- Zugriffe: 4108
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. ).
usually it can take very long for the results to be released ( by the prüf. sek. ).
- 30. Apr 2013 13:01
- Forum: Archiv
- Thema: Exercise deadline?
- Antworten: 1
- Zugriffe: 406
Exercise deadline?
Hi
when is the deadline for the exercise submission?
when is the deadline for the exercise submission?
- 16. Apr 2013 15:01
- Forum: Archiv
- Thema: Lecture tomorow (17.04)
- Antworten: 1
- Zugriffe: 252
Lecture tomorow (17.04)
Will tomorow be a lecture or nothing?
- 15. Apr 2013 19:36
- Forum: Archiv
- Thema: Need a partner for exercise
- Antworten: 8
- Zugriffe: 818
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.
I have some years experience in java / uml.
send me a pm.
- 29. Okt 2012 23:10
- Forum: Archiv
- Thema: Korrektur beendet
- Antworten: 20
- Zugriffe: 2788
Re: Korrektur beendet
PM an mich, wer wissen will, wie er an die Fotos kommt.