Die Suche ergab 11 Treffer

von hangman
25. Jan 2010 15:08
Forum: Archiv
Thema: Praktikum 4 - richtiges Maßterm
Antworten: 9
Zugriffe: 502

Re: Praktikum 4 - richtiges Maßterm

hmmmm, dann hab ich das wohl leider etwas falsch verstanden. Einfach über die Größe von der Liste k zu gehen scheint ja dann nicht zu funktionieren :D Diese Bedingungen in den Maßtermen, werden die mit if formuliert oder wie? Hab da noch nicht so die Erfahrung mit Terminierungsbeweisen gemacht. Mit...
von hangman
24. Jan 2010 15:18
Forum: Archiv
Thema: Praktikum 4 - richtiges Maßterm
Antworten: 9
Zugriffe: 502

Praktikum 4 - richtiges Maßterm

Hallo allerseits,

Wie kann ich prüfen ob der gewählte Maßterm richtig ist.
Bisher wieß ich nur dass, es ein Nat sein muss, aber wenn ich etwas eingebe, dann zeigt mir die Termination Analysis in dem toVerify Fenster 2 lila (unprovable) Behauptungen.
von hangman
8. Jan 2010 11:23
Forum: Archiv
Thema: Tipps für "MATCH is sound"?
Antworten: 17
Zugriffe: 1219

Re: Tipps für "MATCH is sound"?

Unfold hat geholfen. Danke!
von hangman
8. Jan 2010 10:41
Forum: Archiv
Thema: Tipps für "MATCH is sound"?
Antworten: 17
Zugriffe: 1219

Re: Tipps für "MATCH is sound"?

Diese Behauptung muss Gelten wenn es ein Matcher für tl(k) und tl(l) gibt. Gibt es andere Bedingungen?

Code: Alles auswählen

(result(MATCH(tl(k), tl(l))) ⊫ k) = l
von hangman
7. Jan 2010 14:11
Forum: Archiv
Thema: Tipps für "MATCH is sound"?
Antworten: 17
Zugriffe: 1219

Re: Tipps für "MATCH is sound"?

Hallo,

wir haben auch Probleme mit 3.5. Beim 1. der 3 blauen "Äste" komme ich auf diesen Goalterm

Code: Alles auswählen

(result(MATCH(tl(k), tl(l))) ⊫ k) = l
Ich habe versucht die Vollständigkeit darauf anzuwenden aber ohne Erfolg. Die Aussage sieht ja ziemlich trivial aus.
von hangman
1. Nov 2009 11:18
Forum: Archiv
Thema: Aufgabe 1.1 (e)
Antworten: 5
Zugriffe: 417

Aufgabe 1.1 (e)

Hallo,

Ich versuche gerade das Lemma hd(reverse-acc(k, ø)) = last(k) zu beweisen. Diese lässt sich aber nich automatisch beweisen wie hd(reverse(k)) = last(k).
Brauche ich dafür Hilfslemmata? Oder liegt es an einer fehlerhaften Implementierung von reverse-acc?
von hangman
16. Okt 2009 10:28
Forum: Archiv
Thema: Gruppe gesucht
Antworten: 0
Zugriffe: 66

Gruppe gesucht

Hallo allerseits,

Mein Name ist Georgi und ich Suche nach einer Gruppe für die praktischen Übungen in FGDI. Falls ihr noch ein 3. uder 4. Mitglied sucht, meldet euch per Mail an georgi_valkanov@yahoo.com oder per PN.

Hat sich erledigt. :)
von hangman
19. Apr 2009 16:59
Forum: Archiv
Thema: Gruppensuche
Antworten: 3
Zugriffe: 378

Re: Gruppensuche

Ich suche auch noch eine Gruppe.

Mein Name ist Georgi Valkanov und bin im ersten Mastersemester. Ich wuerde mich gerne bei den Uebungsaufagben und die Praesentation beteiligen. Falls eine Gruppe noch einen Mitglied braucht, dann bitte schickt mir bitte eine Mail. georgi_valkanov@yahoo.com.
von hangman
30. Nov 2008 18:32
Forum: Archiv
Thema: Passwort
Antworten: 23
Zugriffe: 557

Re: Passwort

Ich brauche auch das Passwort.
danke :?
von hangman
28. Okt 2008 08:35
Forum: Archiv
Thema: Suchen drittes Gruppenmitglied!
Antworten: 1
Zugriffe: 182

Suchen drittes Gruppenmitglied!

Hallo allerseits,

Wir sind immer noch zu zweit und suchen nach einem dritten Gruppenmitglied für die praktischen Übungen. Wer Lust und Interesse hat soll sich mit RBG Account hier oder per Mail an georgi_valkanov@yahoo.com melden.
von hangman
22. Okt 2008 10:17
Forum: Archiv
Thema: Webreg: Praktika
Antworten: 18
Zugriffe: 1197

Re: Webreg: Praktika

Moin

Ich suche auch nach einer Gruppe
RBG: valkanov
mail: georgi_valkanov@yahoo.com

Zur erweiterten Suche