PPT《CTL公式与不动点》

编辑： 施信荣 2019-09-11
CTL公式与不动点 中国科学院软件研究所张文辉http://lcs.

ios.ac.cn/~zwh/pv * 完备偏序 完备偏序:最小元、每条链有最小上界有最小元只有有穷链的偏序是完备偏序有最小元的有穷域上的偏序是完备偏序S:有穷域则(2S,?)是一个有穷域上的完备偏序 * 完备偏序(X, )上的函数f是连续的:即对X上的每条链D, 连续函数 * 单调函数 只有有穷链的完备偏序上的函数是连续的当且仅当它是单调的有穷域(2S,?) 上的函数是连续的当且仅当它是单调的 * 不动点 * EG 和EU * EG 和EU * s??Z.(p?EX Z) ? s?EG p * s??Z.(p?EX Z) ? s?EG p * s?E(pUq) ? s ??Z.(q?(p?EX Z)) * s?E(pUq) ? s ??Z.(q?(p?EX Z))

下载（注：源文件不在本站服务器，都将跳转到源网站下载）
备用下载
发帖评论
相关话题
发布一个新话题
推荐资源
最新资源
热点资源
大家都在看的话题