Seite 1 von 1

HA 4.1 e)

Verfasst: 29. Jan 2010 16:40
von kned
Hallo!

ich versteh nicht genau was mit der Aufgabenstellung "Belegen Sie die Gültigkeit der Terminierungshypothesen durch Anwendung bekannter arithmetischer
Gleichungen." gemeint ist.

Sollen wir die Terminierungshypothesen auflösen bis wir "true" erhalten?

Re: HA 4.1 e)

Verfasst: 29. Jan 2010 16:54
von tanne
ein tutor hat es uns so erklärt ja, bzw. mathematisch umformen bis man was trivial wahres erhält wie 'a > a - 1' etc.

Re: HA 4.1 e)

Verfasst: 1. Feb 2010 11:27
von -me-
Darf man annehmen, dass so etwas wie hd(5 :: k) = 5 und succ(x + y) > x + y <=> 1 > 0 <=> true gilt ?

Re: HA 4.1 e)

Verfasst: 1. Feb 2010 23:56
von Christoph Walther
-me- hat geschrieben:Darf man annehmen, dass so etwas wie hd(5 :: k) = 5 und succ(x + y) > x + y <=> 1 > 0 <=> true gilt ?
Ja.

Re: HA 4.1 e)

Verfasst: 3. Feb 2010 14:07
von robert.n
Wie soll ich mir einen solchen Beweis vorstellen, bitte?

In den Folien heißt es dazu nur zum letzten Schritt: Verifizieren aller Terminierungshypothesen.

Wie sieht eine solche Verifikation aus? Man kann das ja beliebig pingelig/genau ausgestalten, man kann es sich aber auch quasi beliebig einfach machen.

"durch Anwendung bekannter arithmetischer Gleichungen"?

Re: HA 4.1 e)

Verfasst: 3. Feb 2010 14:43
von Simon Siegler
Sie brauchen keinen exakten Beweis zu führen (die Terminierungshypothese symbolisch auswerten), sondern können bekannte Aussagen über Addition, Subtraktion und Größenvergleiche natürlicher Zahlen verwenden, um die Korrektheit der Terminierungshypothesen zu belegen.