Die Suche ergab 11 Treffer
- 25. Jan 2010 15:08
- Forum: Archiv
- Thema: Praktikum 4 - richtiges Maßterm
- Antworten: 9
- Zugriffe: 642
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...
- 24. Jan 2010 15:18
- Forum: Archiv
- Thema: Praktikum 4 - richtiges Maßterm
- Antworten: 9
- Zugriffe: 642
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.
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.
- 8. Jan 2010 11:23
- Forum: Archiv
- Thema: Tipps für "MATCH is sound"?
- Antworten: 17
- Zugriffe: 1309
Re: Tipps für "MATCH is sound"?
Unfold hat geholfen. Danke!
- 8. Jan 2010 10:41
- Forum: Archiv
- Thema: Tipps für "MATCH is sound"?
- Antworten: 17
- Zugriffe: 1309
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
- 7. Jan 2010 14:11
- Forum: Archiv
- Thema: Tipps für "MATCH is sound"?
- Antworten: 17
- Zugriffe: 1309
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
Ich habe versucht die Vollständigkeit darauf anzuwenden aber ohne Erfolg. Die Aussage sieht ja ziemlich trivial aus.
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
- 1. Nov 2009 11:18
- Forum: Archiv
- Thema: Aufgabe 1.1 (e)
- Antworten: 5
- Zugriffe: 516
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?
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?
- 16. Okt 2009 10:28
- Forum: Archiv
- Thema: Gruppe gesucht
- Antworten: 0
- Zugriffe: 88
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.
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.

- 19. Apr 2009 16:59
- Forum: Archiv
- Thema: Gruppensuche
- Antworten: 3
- Zugriffe: 499
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.
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.
Re: Passwort
Ich brauche auch das Passwort.
danke
danke

- 28. Okt 2008 08:35
- Forum: Archiv
- Thema: Suchen drittes Gruppenmitglied!
- Antworten: 1
- Zugriffe: 234
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.
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.
- 22. Okt 2008 10:17
- Forum: Archiv
- Thema: Webreg: Praktika
- Antworten: 18
- Zugriffe: 1430