Die Suche ergab 86 Treffer

von cofi
6. Mär 2014 17:07
Forum: Type Systems of Programming Languages
Thema: Recursion in lambda-calculus
Antworten: 2
Zugriffe: 416

Re: Recursion in lambda-calculus

We wrote general recursive functions using a fixpoint combinator in the untyped lambda calculus, see Assignment 4.
Our problems only started when we moved on to the simply typed calculus because we could not - as you said - type the fixpoint combinator.
von cofi
21. Jan 2014 17:33
Forum: Automated Code Analysis for Large Software Systems
Thema: Sheet 6 Exercise 2: Order of method calls?
Antworten: 1
Zugriffe: 389

Sheet 6 Exercise 2: Order of method calls?

I have some problems to understand the task. Are the relevant kinds of analyses limited to controlflow insensitive analyses or is the "controlflow ignoring" or "arbitrary execution order" to be understood as, e.g., the permutation c() b() d() a() instead of the right method call order a() b() c() d(...
von cofi
27. Nov 2013 22:58
Forum: Type Systems of Programming Languages
Thema: Assignment 6.3
Antworten: 9
Zugriffe: 714

Re: Assignment 6.3

With your approach you can a _subset_ of the possible lists, namely the lists of length n (to stick with your example). But that is not what the type defintion calls for. You can define lists of a maximal length with our language (and type system) namely by inlining the NumList definition but you ca...
von cofi
27. Nov 2013 19:15
Forum: Type Systems of Programming Languages
Thema: Assignment 6.3
Antworten: 9
Zugriffe: 714

Re: Assignment 6.3

Well and I don't know how to get more specific without spelling out the problem with our language ;)

Because our language is typed (or rather the way it is typed) you can't do what you want to do with lambda expressions.
von cofi
27. Nov 2013 17:43
Forum: Type Systems of Programming Languages
Thema: Assignment 6.3
Antworten: 9
Zugriffe: 714

Re: Assignment 6.3

We also have types in our language.
von cofi
9. Nov 2013 17:09
Forum: Type Systems of Programming Languages
Thema: Assignment 2
Antworten: 2
Zugriffe: 372

Re: Assignment 2

AlexanderF hat geschrieben:so I cannot show that progress stil holds because in this example it does not?
It does. Consider the definition of progress /preservation in detail, for how many reduction steps progress is "guaranteed" and if you still satisfy the premise for e'.
von cofi
30. Aug 2013 00:47
Forum: Archiv
Thema: Fehler in Musterlösung von Klausur 2013_04
Antworten: 14
Zugriffe: 3655

Re: Fehler in Musterlösung von Klausur 2013_04

Das ist auch richtig.

Mit
\(\ln_a(n)' = \frac{1}{n}\)
und einem Basiswechsel zu e kommt man aber zu
\(\log_a(n)' = const \cdot \frac{1}{n}\)
von cofi
27. Aug 2013 16:38
Forum: Archiv
Thema: Frage zum Korrektheitsbeweis von Dijsktra
Antworten: 5
Zugriffe: 547

Re: Frage zum Beweis von Dijsktra

Die Invariante bedeutet, dass in dem Pfad nur Knoten sind, die schon bearbeitet wurden. Mit dem zitierten Satz aus dem Korrektheitsbeweis habe ich auch so meine Probleme, die Idee ist hier aber, dass Q noch nicht leer ist und u der naechste Knoten ist der bearbeitet wird.
von cofi
23. Jul 2013 14:54
Forum: Archiv
Thema: UnionFind
Antworten: 3
Zugriffe: 592

Re: UnionFind

Auch wenn die Standardlibrary von Java relativ umfangreich ist, enthaelt sie nicht jede Datenstruktur oder jeden Algorithmus. Mehr zu UnionFind (dem Algorithmus) und Disjoint-set (der Datenstruktur) gibt es bei Wikipedia, inklusive Links Implementierungen: https://en.wikipedia.org/wiki/Disjoint-set_...
von cofi
10. Jul 2013 13:56
Forum: Algorithms of Language Technology
Thema: Hausübung 10, bakertilly.txt fehlt
Antworten: 2
Zugriffe: 362

Hausübung 10, bakertilly.txt fehlt

In Aufgabe 2 wird die Datei `bakertilly.txt` erwaehnt, im Moodle fehlt sie aber noch.
von cofi
1. Jul 2013 17:16
Forum: Archiv
Thema: 10.1 Implementationsinvariante
Antworten: 14
Zugriffe: 1432

Re: 10.1 Implementationsinvariante

@AnnaW: Hum, nun ... genau unter \(F\).
von cofi
30. Jun 2013 17:49
Forum: Archiv
Thema: Workshop Komplexität
Antworten: 2
Zugriffe: 234

Re: Workshop Komplexität

Es ist geplant, dass die (Theorie-)Workshops vor der Klausur in der vorlesungsfreien Zeit nochmal wiederholt werden.
von cofi
29. Jun 2013 16:12
Forum: Archiv
Thema: 10.1 Implementationsinvariante
Antworten: 14
Zugriffe: 1432

Re: 10.1 Implementationsinvariante

Die Invariante der Datenstruktur ist nicht die einzige, die verletzt werden kann.
von cofi
25. Jun 2013 12:23
Forum: Archiv
Thema: Ex09: Instantiation of a inherited class
Antworten: 7
Zugriffe: 820

Re: Ex09: Instantiation of a inherited class

All fields, yes.

Zur erweiterten Suche