Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
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