线性序相关论文
产生于60年代的Domain理论，旨在为计算机函数式语言奠定数学基础．在该理论中逼近、收敛等概念占有重要的基础地位，然而对逼近程度的度......
量词消去法是数理逻辑与计算机科学中的一个很有用的工具,一阶理论只要有了量词可消去的性质,那么对于这个理论中公式的讨论范围就......
对于直觉模糊集的问题，本文研究了直觉模糊线性规划和意见集中排序法解直觉模糊多属性问题两个方面.针对目标函数为带有最大最小算......
讨论了度量空间上线性序的性质,给出了其构成连续domain的充要条件,回答了Keye Martin 于2000年提出的关于度量空间线性序的连续性......
期刊
模糊决策是研究在模糊环境或者在模糊系统中进行决策的数学方法.其主要目的是把决策论域中的对象在模糊环境下进行排序,或者按某些......
量词消去法在模型论的证明中是应用很广的一种方法。本文主要讨论在语言L=<,{0}上的有首元但无末元的稠密线性序理论T和在语言L0={......
在普通关系中，文献中存在众多扩张定理，可以把一个二元关系扩张成一个完全关系。相比之下，模糊情况下关系扩张的研究很少。文章研究了......
