(资料图)
1、 在数学中,有向完全偏序和完全偏序是两种特殊的偏序集合,分别简写为 dcpo 和 cpo。
2、它们特征化自特定的完备性性质。
3、dcpos 和 cpos 是序理论的概念,主要应用于理论计算机科学和指称语义。
本文到此分享完毕,希望对大家有所帮助。
Copyright 2015-2022 东方晨报网 版权所有 备案号:沪ICP备2020036824号-8 联系邮箱:562 66 29@qq.com