#偏序理论# 相关文档
-
CTL公式与不动点.ppt
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级CTL公式与不动点中国科学院软件研究所张文辉:lcs.ios.aczwhpv2完备偏序完备偏序：最小元每条链有最小上界有最小元只有有穷链的偏序是完备偏序有最小元的有穷域上的偏序是完备偏序S：有穷域则(2S?)是一个有穷域上的完备偏序3完备偏序(X )上的函数f是连续的：即对X上的每条链D连续函数4单调函数只有
日期：2022-04-23 格式：.pptx 页数：11页 大小：528KB 发布：
- 1
- 1/1页
客服
顶部