FOPC:一阶谓词演算
“First Order Predicate Calculus”经常缩写成FOPC,以便快捷书写、使用。
常见于学术科学领域 ,和数学相关。中文意思为:“一阶谓词演算”。
First Order Predicate Calculus具体释义
- 英文缩写:FOPC
- 英语全称: First Order Predicate Calculus
- 英语发音:
- 美式英语发音:
- 英式英语发音:
- 中文意思:一阶谓词演算
- 中文拼音:yī jiē wèi cí yǎn suàn
- 常用领域:学术科学
- 相关:数学
英文缩写词FOPC的例句
- The system was implemented on a LEO 286 personal computer running under a UCDOS operating system. The programming language is Turbo PROLOG 2.0, which is primarily based on the first order predicate calculus, but permits imperative coding.
- 该系统选用基于一阶谓词逻辑的TurboProlog2.0版本作为程序设计语言,在UCDOS支持下,在LEO286微机上实现。
注意:
英文缩写词 FOPC 的含义,不止“First Order Predicate Calculus”一个。
“FOPC”是什么缩写的意思?
本站收集到的FOPC英文缩写还有:
【社会】领域:
- Friends Of Peralta Creek 缩写成 “FOPC”. 中文意思是:佩拉尔塔溪之友
- Friends Of Portencross Castle 缩写成 “FOPC”. 中文意思是:波特克劳斯城堡之友
【计算机】领域:
- False Out-of-Paper Condition 缩写成 “FOPC”. 中文意思是:假缺纸情况