请输入您要查询的字词:
单词
一阶谓词演算
释义
一阶谓词演算
Encyclopedia
文学
一阶谓词演算
释
first order predicate calculus
一阶谓词演算
研究由客体、函数及关系构成的命题以及使用逻辑量词和命题连接词从这些命题构成的更加复杂的命题和这类命题之间的推理关系的逻辑演算。简称FOPC。
Mathematics
first-order predicate calculus
一阶谓词演算
随便看
劳思
劳思定理
劳思方程
劳思-胡尔维茨准则
劳思-胡尔维茨定理
劳思-赫维茨判据
劳思降阶法
劳托卡
劳拉德主义
劳效应
劳斯三辊式轧机
劳斯尔
劳斯极限
劳斯模型
劳斯-赫尔维茨稳定性判据
劳斯,F.P.
劳斯,J.B.
劳斯,P.
劳斯,W.
劳曼,E.O.
劳森
劳森上同调
劳森伯格,R.
劳森判据
劳森同调
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/3 2:41:36