Die Suche ergab 86 Treffer

von Christoph Walther
2. Dez 2011 19:57
Forum: Archiv
Thema: Hausübung 1.3
Antworten: 6
Zugriffe: 455

Re: Hausübung 1.3

... allerdings bleibt die Funktion "mix" nach dem Kopieren in ein neues Projekt und dem Einfügen der üblichen Listendefinition grau, d.h. sie wird ignoriert. Bisher sind mir graue Funktionen nur dann begegnet, wenn sie nicht terminieren, allerdings kann ich keinen Fall erkennen, bei dem das passier...
von Christoph Walther
5. Nov 2011 13:19
Forum: Archiv
Thema: Praktische Übung 1.1 (d), Lemma bleibt blau
Antworten: 3
Zugriffe: 322

Re: Praktische Übung 1.1 (d), Lemma bleibt blau

Ist es dann richtig dass das Lemma im "Program" Panel (linke Seite) blau bleibt und nicht rot wird (siehe Bild)? Die antwort steht auf folie 3/45. Und vergleichen Sie einmal Ihren screenshot mit dem auf folie 3/46. Und noch ein tipp: Sie sollten sich die folien zu einem thema gründlich anschauen, b...
von Christoph Walther
2. Nov 2011 18:33
Forum: Archiv
Thema: Kurze Frage zum Praktikum1
Antworten: 5
Zugriffe: 643

Re: Kurze Frage zum Praktikum1

Also ich habe an dem Aufgabenteil erstmal ewige Zeit probiert, wie das denn überhaupt mit dem Change Procedure gehen soll. Egal was ich gemacht haben, bei der g war Change Procedure immer ausgegraut und ich konnte es nicht anwählen. Mittels Change Depending hat es dann geklappt. Man sollte voher sc...
von Christoph Walther
2. Nov 2011 17:01
Forum: Archiv
Thema: Kurze Frage zum Praktikum1
Antworten: 5
Zugriffe: 643

Re: Kurze Frage zum Praktikum1

ich habe gerade an der Praktikumsaufgabe 1.1 gearbeitet. Im Aufgabenteil e habe ich die Prozedur g implementiert, worauf das Lemma f(x,y) = g(x) oder f(x,y) = g(y) aus der Liste verschwunden ist. Vermutlich haben Sie nicht (wie auf dem übungsblatt angegeben) das kommando Change Procedure sondern Mo...
von Christoph Walther
24. Mär 2011 10:53
Forum: Archiv
Thema: Tippfehler?: Kapitel 5, structure -> erzeugte Funktionen
Antworten: 1
Zugriffe: 325

Re: Tippfehler?: Kapitel 5, structure -> erzeugte Funktionen

Ja ist ein schreibfehler, kommt noch an anderen stellen im kapitel vor. Danke für den tip.
von Christoph Walther
22. Mär 2011 16:57
Forum: Archiv
Thema: VeriFun 3.2.2
Antworten: 2
Zugriffe: 781

Re: VeriFun 3.2.2

truongln88 hat geschrieben:Hat jemand zufällig Setup file vom VF3.2 für Linux gespeichert?
Auf der VeriFun download-seite stehen nicht nur die aktuelle systemversion, sondern auch alle vorgängerversionen zur verfügung.
von Christoph Walther
24. Jan 2011 12:21
Forum: Archiv
Thema: Fehler in VeriFun 3.2.2 & VeriFun 3.3
Antworten: 1
Zugriffe: 497

Fehler in VeriFun 3.2.2 & VeriFun 3.3

Wie schon hier im forum berichtet gibt es einen fehler in VF 3.2.2, der zu inkonsistenzen führen kann. Dieser fehler ist inzwischen behoben, ergebnis ist VeriFun 3.3. Ich werde in einer der nächsten volesungen (vermutlich am 1.2.2011) erläutern, um welchen fehler es geht, welche konsequenzen der feh...
von Christoph Walther
29. Dez 2010 21:57
Forum: Archiv
Thema: gegenseitig rekursive Funktionen
Antworten: 3
Zugriffe: 513

Re: gegenseitig rekursive Funktionen

Also, ich habe gerade in L Dokumentation gelesen, dass die gegenseitige Rekursion gar nicht unterstützt wird. Schade... :( Stimmt. Grund ist, daß die terminierungsanalyse und die berechnung von induktionsaxiomen bei gegenseitig rekursiv definierten funktionen recht aufwendig ist. Zwar machbar, aber...
von Christoph Walther
3. Dez 2010 20:10
Forum: Archiv
Thema: weiterreichen der Exeption guard an den aufrufer:
Antworten: 1
Zugriffe: 414

Re: weiterreichen der Exeption guard an den aufrufer:

Nach definition der exception-guard ist alles ok: In der zweiten definition von 'average' kommt kein * vor, also ist die exception-guard = 'false'. Trozdem gibt es bei beiden prozeduren stuck-computations: average1(1, 0) =>! average1(1, 0) und average2(1, 0) =>! half(1). Was Sie mit "weiterreichen d...
von Christoph Walther
27. Nov 2010 12:07
Forum: Archiv
Thema: HÜ 1.3: Refute wertet zu true aus
Antworten: 7
Zugriffe: 554

Re: HÜ 1.3: Refute wertet zu true aus

wir haben die Lemmata aus Aufgabe 1.3 in Verifun ausprobiert und sind auf das Problem gestoßen, dass die Refute-Anweisung in Bezug auf eins unserer Beispiele beim "mix is injective"-Lemma zu true ausgewertet wird. Welche Aussage erhalten wir dadurch? IdR wird die Refute-Anweisung ja zu false ausgwe...
von Christoph Walther
6. Nov 2010 16:46
Forum: Archiv
Thema: 1. Praktikum: Wann bin ich fertig mit dem Beweis?
Antworten: 2
Zugriffe: 433

Re: 1. Praktikum: Wann bin ich fertig mit dem Beweis?

Wenn ich VeriFun dazu "überreden" kann, alles grün anzuzeigen, mir also der Beweis attestiert wird, bin ich dann definitv fertig ... Ja. ... und ist der Beweis mathematisch korrekt? Oder könnte es sein, dass man VeriFun täuscht, indem man Dinge erfindet oder wegfallen lässt? Wenn es nicht so wäre, ...
von Christoph Walther
28. Okt 2010 10:59
Forum: Archiv
Thema: first class functions?
Antworten: 2
Zugriffe: 443

Re: first class functions?

Mit "funktionale Programmiersprache" ist gemeint, daß "mit Funktionen" programmiert wird: Ausgehend von gegebenen grundfunktionen werden mittels funktionalkomposition und rekursion funktionen definiert, die die erwünschten berechnungen modellieren. Man verwendet den begriff "funktional" dabei als ab...
von Christoph Walther
25. Okt 2010 20:31
Forum: Archiv
Thema: VeriFun Bug
Antworten: 11
Zugriffe: 1318

Re: VeriFun Bug

newizz hat geschrieben:Bei mir habe ich bisjetzt kein Passwort gehabt , obwohl ich schon die E-Mail geschickt habe
Im betreff der anforderungsmail muß download stehen, ansonsten erhalten Sie keine antwortmail mit passwort. Wie wir vom download-server sehen, sind inzwischen sehr viele paßwörter verschickt worden.
von Christoph Walther
25. Okt 2010 20:28
Forum: Archiv
Thema: VeriFun Bug
Antworten: 11
Zugriffe: 1318

Re: VeriFun Bug

Hallo, Verifun hat bei mir diesen nervigen Darstellungsfehler, in verschiedenen Fenstern, immer beim Scrollen : ... Wenn man das Fenster minimiert und wieder öffnet, ist alles wieder sauber. Hat jemand sowas auch gehabt? Was kann man dagegen tun? Ein VeriFun bug ist das bestimmt nicht! Die ursache ...
von Christoph Walther
25. Okt 2010 20:18
Forum: Archiv
Thema: VeriFun Bug
Antworten: 11
Zugriffe: 1318

Re: VeriFun Bug

In VeriFun existieren etliche Bugs Tatsächlich? Welche denn? Bei uns wurde das 'Melden' dergleichen immer mit einem "Sie können hier gerne HiWi für VeriFun werden" beantwortet ;-) Wer hat Ihnen das denn gesagt? Ich war es jedenfalls nicht. Was aber sicher vorgekommen ist, sind vorschläge für system...

Zur erweiterten Suche