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.
Zusammenfassung Fixpunkttheorie<br />
• Wir beschränken uns auf kettenvollständige<br />
partielle Ordnungen (ccpo´s).<br />
• Wir beschränken uns auf stetige Funktionen<br />
auf ccpo´s.<br />
• Wir zeigen, dass stetige Funktionen auf<br />
ccpo´s immer eindeutige kleinste Fixpunkte<br />
haben.<br />
55<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner