WEEK 48:

 

·         CPOs of continuous maps continued

·         Factorial and fixpoints on CPOs

·         Fixpoint theorems

Material: Chapter 8

 

Homework: 8.3, 8.5, [8.7,8.8 – turn in either]*, 8.9*, 8.10, 8.12*, 8.13 plus the following exercise:

 

* Give and example of an increasing map F on a CPO which has no least fixpoint.