Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Stetige Funktionen<br />
• Definition: (D,v) und (D´,v´) seien ketten-vollständige<br />
partiell geordnete Mengen und f:D→D´ eine totale<br />
Funktion. f ist stetig, wenn<br />
– f monoton ist und wenn<br />
– t´{f d | d ∈ Y} = f(tY) für alle nicht-leeren Ketten Y von D.<br />
• Übung: Zeige:<br />
(D,v) und (D´,v´) seien ketten-vollständige partiell<br />
geordnete Mengen und f:D→D´ eine totale Funktion<br />
mit t´{f d | d ∈ Y} = f(tY) für alle nicht-leeren Ketten Y<br />
von D. Dann ist f monoton.<br />
47<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner