“一阶谓词演算语义”的概念、定义、翻译、参考文献-科学参考

单词	一阶谓词演算语义
释义	一阶谓词演算语义 Encyclopedia 文学一阶谓词演算释 semantics of first order predicate calculus一阶谓词演算语义借助于一阶谓词演算知识库与这个知识库所模拟的外部世界中的客体、性质和关系而获得的关于这些客体、性质和关系的语义。
随便看	博雷尔关系博雷尔函数博雷尔分层博雷尔分类博雷尔-勒贝格定理博雷尔变换博雷尔可和级数博雷尔可测函数博雷尔可测映射博雷尔可测的博雷尔可测过程博雷尔可测集博雷尔同构博雷尔同构空间博雷尔-坎泰利引理博雷尔坎泰利引理博雷尔-坦纳分布博雷尔域博雷尔子代数博雷尔子群博雷尔子集博雷尔定理博雷尔展开博雷尔嵌入博雷尔强大数律

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。