线性序相关论文
产生于60年代的Domain理论，旨在为计算机函数式语言奠定数学基础．在该理论中逼近、收敛等概念占有重要的基础地位，然而对逼近程度的度......
量词消去法是数理逻辑与计算机科学中的一个很有用的工具,一阶理论只要有了量词可消去的性质,那么对于这个理论中公式的讨论范围就......
对于直觉模糊集的问题，本文研究了直觉模糊线性规划和意见集中排序法解直觉模糊多属性问题两个方面.针对目标函数为带有最大最小算......
讨论了度量空间上线性序的性质,给出了其构成连续domain的充要条件,回答了Keye Martin 于2000年提出的关于度量空间线性序的连续性......
期刊
