【atomic_formula】什么意思_英语atomic_formula的翻译_音标_读音_用法_例句_在线翻译

atomic formula

[计] 原子公式

原子公式(atomic formulas)是由一个谓词符号和若干个项组成的谓词演算。形如：P(t1,t2,t3,…

基于2814个网页-相关网页

原子结构式

... 原子结构学;超级化学：metachemistry 原子结构式：atomic formula 原子键：atomic bond,atomic link ...

基于236个网页-相关网页

原子式

... 原子束激光器：atomic beam laser 原子式;结构式：atomic formula 原子时标准：atomic time standard ...

基于24个网页-相关网页

结构式

... 原子束激光器：atomic beam laser 原子式;结构式：atomic formula 原子时标准：atomic time standard ...

基于16个网页-相关网页

短语

atomic formula in predicate calculus [计] 谓词演算中的原子公式

更多收起网络短语

计算机科学技术 | 电子、通信与自动控制技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms are thus the simplest well-formed formulas of the logic.

以上来源于: WordNet

A predicate name, followed by an argument list in parentheses, is called an atomic formula.

一个谓词名，后跟以括在圆括号中的一个变元表，称为原子公式。

youdao
Grimm thought that free is not the atomic formula individual holds the thing, but is social main body self-realization and promotes the social altogether Tongshan's ability.

格林认为自由不是原子式个体的占有物，而是社会主体自我实现和增进社会共同善的能力。

youdao
In this paper, we give a experiential calculating formula of atomic covalent radius, the results are satisfied.

本文给出了一个计算原子共价半径的经验公式，其计算结果与实验值基本相符。

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句