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

### 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
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
Antworten: 11
Zugriffe: 1098

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

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?
29. Mär 2013 17:32
Forum: Archiv
Thema: Vorläufige Klausurergebnisse
Antworten: 24
Zugriffe: 2659

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

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