Die Suche ergab 135 Treffer

von LordHoto
2. Aug 2014 20:41
Forum: Automated Theorem Proving
Thema: Instance-Based Theorem Proving
Antworten: 1
Zugriffe: 505

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...
von LordHoto
20. Jul 2014 17:32
Forum: Archiv
Thema: Delimited continuations in Scala
Antworten: 9
Zugriffe: 1360

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...
von LordHoto
20. Jul 2014 16:23
Forum: Archiv
Thema: Discuss exercises?
Antworten: 29
Zugriffe: 4500

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...
von LordHoto
13. Jul 2014 20:06
Forum: Archiv
Thema: Klausur SS2010 Aufgabe 6c
Antworten: 1
Zugriffe: 760

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 ...
von LordHoto
7. Jul 2014 17:36
Forum: Archiv
Thema: Substitution vs Enviroments
Antworten: 5
Zugriffe: 979

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...
von LordHoto
7. Jul 2014 11:28
Forum: Archiv
Thema: Bonus
Antworten: 0
Zugriffe: 579

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
von LordHoto
4. Jul 2014 17:37
Forum: Archiv
Thema: Assignment 11: Wrong testcase?
Antworten: 2
Zugriffe: 508

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...
von LordHoto
19. Mai 2014 12:52
Forum: Archiv
Thema: Assignment 05 Task 1
Antworten: 11
Zugriffe: 911

Re: Assignment 05 Task 1

Boddlnagg hat geschrieben:I experienced the same problem concerning the specification tests and have not yet found a solution ...
If you get 0/-1 something is wrong with your solution. This might, for example, indicate that the tests do not terminate AFAICT.
von LordHoto
8. Jan 2014 19:45
Forum: Effiziente Graphenalgorithmen
Thema: Hallo und Programmieraufgaben
Antworten: 19
Zugriffe: 2928

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)?
von LordHoto
16. Apr 2013 15:05
Forum: Archiv
Thema: Klausurergebnisse
Antworten: 8
Zugriffe: 1291

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...
von LordHoto
30. Mär 2013 00:22
Forum: Archiv
Thema: Vorläufige Klausurergebnisse
Antworten: 24
Zugriffe: 2200

Re: Vorläufige Klausurergebnisse

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.
Hast du es auch schonmal über das Vorlesungsverzeichnis probiert?
von LordHoto
29. Mär 2013 17:32
Forum: Archiv
Thema: Vorläufige Klausurergebnisse
Antworten: 24
Zugriffe: 2200

Re: Vorläufige Klausurergebnisse

StudyForFun hat geschrieben:
Jens Huthmann hat geschrieben:Die Noten hängen wieder aus und sind auch im Tucan als Dokument angehängt.
Wo kann man das Dokument in Tucan finden? Ich sehe es nämlich nicht.
Normalerweise sind die Materialien unter "Veranstaltungen -> Meine Veranstaltungen -> Compiler I: Grundlagen -> Material" zu finden.
von LordHoto
4. Mär 2013 15:20
Forum: Archiv
Thema: Klausur WS 10 / 11 - Aufgabe 7c
Antworten: 4
Zugriffe: 628

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...
von LordHoto
20. Feb 2013 20:47
Forum: Archiv
Thema: AlteÜbungen
Antworten: 1
Zugriffe: 437

Re: AlteÜbungen

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.
Ich habe die Musterlösungen leider nicht mehr.
von LordHoto
20. Feb 2013 16:39
Forum: Archiv
Thema: 1. Aufgabenblatt
Antworten: 16
Zugriffe: 1290

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

Zur erweiterten Suche