Die Suche ergab 135 Treffer
- 2. Aug 2014 20:41
- Forum: Automated Theorem Proving
- Thema: Instance-Based Theorem Proving
- Antworten: 1
- Zugriffe: 654
Instance-Based Theorem Proving
Hello, I have a question about slide 19 (54/59) of the lecture on IBTP. The last condition in the definition "Inst-Gen Rule with Ground Closure" does not make any sense to me. Shouldn't it rather list sigma applied to the second clause premise on the LHS of the equation? Or maybe someone can explain...
- 20. Jul 2014 17:32
- Forum: Archiv
- Thema: Delimited continuations in Scala
- Antworten: 9
- Zugriffe: 1567
Re: Delimited continuations in Scala
I'm trying to understand BindCC in our KCFWAE interpreter but don't understand why eval(BindCC('k, Add(1, App('k, 3)))) evaluates to 3. eval(BindCC('k, Add(1, App('k, 3)))) = interp(BindCC('k, Add(1, App('k, 3))), Map.empty, identity) = interp(Add(1, App('k, 3)), Map.empty + ('k -> Continuation(ide...
- 20. Jul 2014 16:23
- Forum: Archiv
- Thema: Discuss exercises?
- Antworten: 29
- Zugriffe: 4950
Re: Discuss exercises?
This is what I have for ex06.2 Before GC: Env Store ----+----- ----+--------- x1 | 1 1 | Num(10) x2 | 2 2 | Box(1) x3 | 3 3 | Box(2) x4 | 4 4 | Num(13) x5 | 5 5 | Num(14) x6 | 6 6 | Box(4) x7 | 7 7 | Box(6) res | 8 8 | Box(3) This looks wrong to me. I got the following solution before GC based on o...
- 13. Jul 2014 20:06
- Forum: Archiv
- Thema: Klausur SS2010 Aufgabe 6c
- Antworten: 1
- Zugriffe: 878
Klausur SS2010 Aufgabe 6c
Hallo, ich habe eine Fragen zu Aufgabe 6c. Wenn ich mir die Folien anschaue, komme ich vor dem wrap-up auf eine Lösung, die sich von der Musterlösung unterscheidet. So wie ich Folie 54 des letzten Foliensatzes interpretiere müsste der Knoten mit ANY auf Ebene i=1 Kinderknoten mit allen Policies aus ...
- 7. Jul 2014 17:36
- Forum: Archiv
- Thema: Substitution vs Enviroments
- Antworten: 5
- Zugriffe: 1068
Re: Substitution vs Enviroments
In Ex3 1.3 it is asked for an example where subst. and env. behave different. An example would be the one i gave in the threads opening post when the enviromental implemntation is dynamic scoped. But in the case of a static scoped enviromental implementation wouln't it behave the same as a subst. d...
Bonus
Hallo,
wäre es möglich auf der Webseite zu schreiben wann die Liste der Fingerprints mit Bonus zum letzten mal geupdated wurden? Oder gibt es mittlerweile replies auf E-Mails an die pki@... adresse ob man jetzt einen Bonus hat oder nicht?
MfG,
Johannes
wäre es möglich auf der Webseite zu schreiben wann die Liste der Fingerprints mit Bonus zum letzten mal geupdated wurden? Oder gibt es mittlerweile replies auf E-Mails an die pki@... adresse ob man jetzt einen Bonus hat oder nicht?
MfG,
Johannes
- 4. Jul 2014 17:37
- Forum: Archiv
- Thema: Assignment 11: Wrong testcase?
- Antworten: 2
- Zugriffe: 568
Re: Assignment 11: Wrong testcase?
Hey, could somebody explain this testcase to me? Why should that be evaluated to Nothing? Shouldn't it be NumV(6)? interp (AppE (NumE 6) (NumE 5)) [] == Nothing thanks! I didn't check the actual definition of the language but in our old language you couldn't apply a value like (NumE 6), so it seems...
- 19. Mai 2014 12:52
- Forum: Archiv
- Thema: Assignment 05 Task 1
- Antworten: 11
- Zugriffe: 1098
Re: Assignment 05 Task 1
If you get 0/-1 something is wrong with your solution. This might, for example, indicate that the tests do not terminate AFAICT.Boddlnagg hat geschrieben:I experienced the same problem concerning the specification tests and have not yet found a solution ...
- 8. Jan 2014 19:45
- Forum: Effiziente Graphenalgorithmen
- Thema: Hallo und Programmieraufgaben
- Antworten: 19
- Zugriffe: 3232
Re: Hallo und Programmieraufgaben
Bei der Implementierung des zweiten Algorithmus, sollen wir wie in der Vorlesung gesprochen diesen für ungerichtete Graphen implementieren oder für gerichtete (wobei das ja eigentlich nur in der Ausgabe und vielleicht beim Dateiformat eine Rolle spielen würde)?
- 16. Apr 2013 15:05
- Forum: Archiv
- Thema: Klausurergebnisse
- Antworten: 8
- Zugriffe: 1473
Re: Klausurergebnisse
Ok, gerade gesehen. Der Prüfer gibt die Noten ein und gibt sie anschließend frei. Das Prüfungssekretariat veröffentlicht dann die Noten. Zitat aus der Tucan Hilfe: "Noten werden durch die Prüfer/innen und deren Stellvertreter/innen eingetragen und freigegeben und dann durch das Studienbüro im Webpo...
- 30. Mär 2013 00:22
- Forum: Archiv
- Thema: Vorläufige Klausurergebnisse
- Antworten: 24
- Zugriffe: 2659
Re: Vorläufige Klausurergebnisse
Hast du es auch schonmal über das Vorlesungsverzeichnis probiert?StudyForFun hat geschrieben:Dort stehen bei mir aber nur die Übungsgruppenanmeldungen und, da Compiler 1 keine Übungsgruppen hat, ist es dort bei mir nicht gelistet.
- 29. Mär 2013 17:32
- Forum: Archiv
- Thema: Vorläufige Klausurergebnisse
- Antworten: 24
- Zugriffe: 2659
Re: Vorläufige Klausurergebnisse
Normalerweise sind die Materialien unter "Veranstaltungen -> Meine Veranstaltungen -> Compiler I: Grundlagen -> Material" zu finden.StudyForFun hat geschrieben:Wo kann man das Dokument in Tucan finden? Ich sehe es nämlich nicht.Jens Huthmann hat geschrieben:Die Noten hängen wieder aus und sind auch im Tucan als Dokument angehängt.
- 4. Mär 2013 15:20
- Forum: Archiv
- Thema: Klausur WS 10 / 11 - Aufgabe 7c
- Antworten: 4
- Zugriffe: 784
Re: Klausur WS 10 / 11 - Aufgabe 7c
Wenn man den Fluchtpunkt [0 0 -1 0] perspektivisch transformiert, dann kommt man ja auf [0 0 -f-n 1], wodurch man (glaube ich) weiß, dass der Abstand des Fluchtpunkts von der far-plane genauso weit weg ist, wie der Augpunkt zur near-plane. Klingt schonmal gut. Kann das jemand bestätigen? :) Das ste...
- 20. Feb 2013 20:47
- Forum: Archiv
- Thema: AlteÜbungen
- Antworten: 1
- Zugriffe: 532
Re: AlteÜbungen
Ich habe die Musterlösungen leider nicht mehr.himbaer hat geschrieben:Kann man die Lösungen von den Übungen von letztem Jahr eventuell bekommen?
Gerade die Lösung zur 3ten Aufgabe würde mich sehr interessieren.
- 20. Feb 2013 16:39
- Forum: Archiv
- Thema: 1. Aufgabenblatt
- Antworten: 16
- Zugriffe: 1691
Re: 1. Aufgabenblatt
Habe hier auchnochmal eine Frage zur Musterlösung der 1.5: Warum braucht man hier keine ParseD-Methode? In der Vorlesung wurde gesagt, man soll zu jedem Nichtterminalsymbol N eine ParseN methode schreiben. Ich würde sagen, wenn du eine parseD Methode hast, wogegen nichts spricht wenn ich es gerade ...