30.01.2014 Aufrufe

Formale Semantik Denotationelle Semantik

Formale Semantik Denotationelle Semantik

Formale Semantik Denotationelle Semantik

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Was wir brauchen:<br />

• Wir brauchen Funktionen, die kleinste obere<br />

Schranken erhalten.<br />

• Das bedeutet, dass man dasselbe Ergebnis<br />

erhält unabhängig davon, ob man die kleinste<br />

obere Schranke vor oder nach Anwendung<br />

der Funktion erhält.<br />

• Funktionen mit dieser Eigenschaft heißen<br />

stetig (continuous).<br />

46<br />

HPS WS 2002/03<br />

Dr. Sabine Glesner

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!