first-order logic

first-order logic 基本解释

[计] 一阶逻辑

词组短语

1、first order logic [计] 一阶逻辑

first-order logic 用法和例句

1、Continuous first order logic is an analog of classical first order logic.

连续一阶逻辑是经典一阶逻辑得一个类比。

重点词汇

first n. 第一，最初；头等；一号，；[乐]高音部 adv. 最早，最初；首次；宁愿；优先 adj. 第一流的；最初的，最早的；基本的，概要的；高音的 num. 第一

order n. 次序, 规则, 命令 vi. 命令, 定货 vt. 整理, 命令, 定购 n. 顺序, 阶数 [计] 顺序, 阶数

logic n. 逻辑，逻辑学；（做某事的）道理；推理方法；威力，压力，强制（力） adj. 逻辑的