Die Suche ergab 63 Treffer

von aloifolia
4. Sep 2012 09:12
Forum: Archiv
Thema: Alternative Syntax für Relationentupelkalkül?
Antworten: 1
Zugriffe: 202

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...
von aloifolia
30. Aug 2012 16:24
Forum: Archiv
Thema: Results & Review
Antworten: 22
Zugriffe: 1714

Re: Results & Review

Alternatively a forged ID card ;-)...
von aloifolia
30. Aug 2012 15:03
Forum: Archiv
Thema: Slides of the last lecture
Antworten: 15
Zugriffe: 1203

Re: Slides of the last lecture

Well I just had the same idea :). Btw do you know when she will be back in town?
von aloifolia
22. Aug 2012 19:24
Forum: Archiv
Thema: Last year's exam available
Antworten: 10
Zugriffe: 774

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...
von aloifolia
22. Aug 2012 17:38
Forum: Archiv
Thema: Fixpoint operator
Antworten: 4
Zugriffe: 584

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...
von aloifolia
22. Aug 2012 15:14
Forum: Archiv
Thema: Fixpoint operator
Antworten: 4
Zugriffe: 584

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 :-).
von aloifolia
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? ...
von aloifolia
21. Aug 2012 11:24
Forum: Archiv
Thema: Eager/lazy substitution vs. immediate/deferred substitution
Antworten: 1
Zugriffe: 1695

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...
von aloifolia
17. Aug 2012 18:36
Forum: Archiv
Thema: Slides of the last lecture
Antworten: 15
Zugriffe: 1203

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...
von aloifolia
16. Aug 2012 19:48
Forum: Archiv
Thema: Slides of the last lecture
Antworten: 15
Zugriffe: 1203

Re: Slides of the last lecture

Well, thank you for your effort!
von aloifolia
16. Aug 2012 10:18
Forum: Archiv
Thema: Slides of the last lecture
Antworten: 15
Zugriffe: 1203

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...
von aloifolia
8. Aug 2012 14:42
Forum: Archiv
Thema: [Exam] Dictionary
Antworten: 4
Zugriffe: 476

Re: [Exam] Dictionary

Well, almost 24 hours left to learn english - seems to be feasible ;-)...
von aloifolia
7. Aug 2012 16:37
Forum: Archiv
Thema: [frameworks] Frameworks examples
Antworten: 3
Zugriffe: 384

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...
von aloifolia
21. Apr 2012 13:46
Forum: Archiv
Thema: Informationen aus der ersten Vorlesung
Antworten: 18
Zugriffe: 1734

Re: Informationen aus der ersten Vorlesung

Ich habe noch Fragen zum Übungsbetrieb:
  1. Kann man die Lösungen irgendwo abgeben, sodass diese korrigiert werden?
  2. Werden nach der Besprechung der Aufgaben Musterlösungen hochgeladen oder muss man sich vor Ort die Musterlösung notieren?
von aloifolia
19. Apr 2012 16:54
Forum: Archiv
Thema: Klausurergebnisse und Klausureinsicht
Antworten: 7
Zugriffe: 1067

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...

Zur erweiterten Suche