《CTL公式与不动点》由会员分享,可在线阅读,更多相关《CTL公式与不动点(11页珍藏版)》请在金锄头文库上搜索。
CTL公式与不动点 Still waters run deep.流静水深流静水深,人静心深人静心深 Where there is life, there is hope。有生命必有希望。有生命必有希望2完备偏序完备偏序:最小元、每条链有最小上界有最小元只有有穷链的偏序是完备偏序有最小元的有穷域上的偏序是完备偏序S:有穷域则(2S,)是一个有穷域上的完备偏序3完备偏序(X, )上的函数f是连续的:即对X上的每条链D,连续函数4单调函数只有有穷链的完备偏序上的函数是连续的当且仅当它是单调的有穷域(2S,) 上的函数是连续的当且仅当它是单调的5不动点6EG 和 EU7EG 和 EU8sZ.(pEX Z) sEG p9sZ.(pEX Z) sEG p10sE(pUq) s Z.(q(pEX Z)11sE(pUq) s Z.(q(pEX Z)