D120.de/forum

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

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.

Unfold hat geholfen. Danke!

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

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.

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?

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.

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.

Ich brauche auch das Passwort.
danke

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.

Moin

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