Die Suche ergab 63 Treffer
- 4. Sep 2012 09:12
- Forum: Archiv
- Thema: Alternative Syntax für Relationentupelkalkül?
- Antworten: 1
- Zugriffe: 221
Alternative Syntax für Relationentupelkalkül?
In der Musterlösung zu Übung 5 wird die Syntax aus der Vorlesung verwendet, welche von derjenigen aus dem Buch von Elmasri und Navathe abweicht. Die Buch im Syntax ist allerdings um einiges lesbarer und weniger komplex. Meine Lösungen zu Aufgabe 5.2 vereinfachen sich damit zu: \pi_B(R) = \{r.B\ |\ R...
- 30. Aug 2012 16:24
- Forum: Archiv
- Thema: Results & Review
- Antworten: 22
- Zugriffe: 1971
Re: Results & Review
Alternatively a forged ID card
...

- 30. Aug 2012 15:03
- Forum: Archiv
- Thema: Slides of the last lecture
- Antworten: 15
- Zugriffe: 1382
Re: Slides of the last lecture
Well I just had the same idea
. Btw do you know when she will be back in town?

- 22. Aug 2012 19:24
- Forum: Archiv
- Thema: Last year's exam available
- Antworten: 10
- Zugriffe: 943
Re: Last year's exam available
Here is an example of how unsafePerformIO could be used in an evil manner: aString = unsafePerformIO $ getLine :: String From the type signature you would not assume that this aString has side effects. You would guess that aString would always yield the same String value. But this is not the case as...
- 22. Aug 2012 17:38
- Forum: Archiv
- Thema: Fixpoint operator
- Antworten: 4
- Zugriffe: 632
Re: Fixpoint operator
Thank you for the code! What I found confusing all the time was that on the slides a "step" was mentioned. I thought that a transformation from the recursive function to some "step"-function first was mandatory. But seeing the examples now I guess it's just: 1. surround the body of the original func...
- 22. Aug 2012 15:14
- Forum: Archiv
- Thema: Fixpoint operator
- Antworten: 4
- Zugriffe: 632
Fixpoint operator
I still don't understand how to translate a recursive function to one that uses the fixpoint combinator.
Is there any schematic approach to this problem? Examples (with explanations please, as the raw definitions of fact and fib did not help me, at all) are very welcome
.
Is there any schematic approach to this problem? Examples (with explanations please, as the raw definitions of fact and fib did not help me, at all) are very welcome

- 21. Aug 2012 12:21
- Forum: Archiv
- Thema: Error on continuation slides?
- Antworten: 1
- Zugriffe: 317
Error on continuation slides?
On page 47 is stated that (+ 1 (let/cc k (k 3))) is evaluated to 5. But when I try to evaluate this expression in Drracket the outcome is 4! Additionally on page the outcome for the same code is suddenly evaluated to 4... So is there an error somewhere? Does Drracket not work correctly with let/cc? ...
- 21. Aug 2012 11:24
- Forum: Archiv
- Thema: Eager/lazy substitution vs. immediate/deferred substitution
- Antworten: 1
- Zugriffe: 1757
Eager/lazy substitution vs. immediate/deferred substitution
On page 57 of the first slides eager and lazy substitution are compared. Do you really mean substitution or did you mean evaluation ? If so, what is the the difference between eager and immediate substitution respectively lazy and deferred substitution? Could you give some comparing examples like on...
- 17. Aug 2012 18:36
- Forum: Archiv
- Thema: Slides of the last lecture
- Antworten: 15
- Zugriffe: 1382
Re: Slides of the last lecture
@Sebastian *Offtopic* While we're still at the development of new language features: Do you know whether any research is done for developing new garbage collector-absent languages (somehow like with Scala in relation to Java)? Or differently said: Are there any fresh ideas for displacing - or pushin...
- 16. Aug 2012 19:48
- Forum: Archiv
- Thema: Slides of the last lecture
- Antworten: 15
- Zugriffe: 1382
Re: Slides of the last lecture
Well, thank you for your effort!
- 16. Aug 2012 10:18
- Forum: Archiv
- Thema: Slides of the last lecture
- Antworten: 15
- Zugriffe: 1382
Slides of the last lecture
In the last lecture of this course Prof. Mezini was asked whether the presented slides would be uploaded to the repository. Although she agreed they are still not online. Will you make them available? It would be very interesting to have some lecture about prospective features of programming languag...
- 8. Aug 2012 14:42
- Forum: Archiv
- Thema: [Exam] Dictionary
- Antworten: 4
- Zugriffe: 549
Re: [Exam] Dictionary
Well, almost 24 hours left to learn english - seems to be feasible
...

- 7. Aug 2012 16:37
- Forum: Archiv
- Thema: [frameworks] Frameworks examples
- Antworten: 3
- Zugriffe: 426
Re: [frameworks] Frameworks examples
So basically there is no answer to: "What is an example for white/black box frameworks?" as everything is some kind of grey tone. The important thing is to be able to assign elements to the two types of frameworks (certainly with a strong justification), given an extract of an exemplary framework. A...
- 21. Apr 2012 13:46
- Forum: Archiv
- Thema: Informationen aus der ersten Vorlesung
- Antworten: 18
- Zugriffe: 1920
Re: Informationen aus der ersten Vorlesung
Ich habe noch Fragen zum Übungsbetrieb:
- Kann man die Lösungen irgendwo abgeben, sodass diese korrigiert werden?
- Werden nach der Besprechung der Aufgaben Musterlösungen hochgeladen oder muss man sich vor Ort die Musterlösung notieren?
- 19. Apr 2012 16:54
- Forum: Archiv
- Thema: Klausurergebnisse und Klausureinsicht
- Antworten: 7
- Zugriffe: 1186
Re: Klausurergebnisse und Klausureinsicht
Das würde ich auch gerne wissen. Ansonsten könnte es, wegen TUCaN, noch einige Zeit dauern, bis man das Ergebnis dann letztendlich erfährt...