monadic

英音[ mɒˈnædɪk ] 美音[ məˈnædɪk ]
单细胞生物的
常用释义
adj. 单细胞生物的;单孢体的

扩展信息

单孢体的
英语新词汇与常用词汇的翻译(M) ... monadic operator 一元算子 monadic 单孢体的 monadism 单子论 ...
一元的
航海及海运专业词汇英语翻译(M) ... momentum 势头 monadic 一元的 monastery 修道院 ...
单子
例如,在C#中,我们增加了泛型、匿名函数和单子(monadic)查询表达式。但是还缺少一种具有丰富库和工具的成熟商业编程语 …
单边的
... mnemonic 记忆法 monadic 单边的 movement 向量 ...
单一的
邮件存档查阅 ... modulate 调声 monadic 单一的 monetary 货币的 ...
单一
2009年考研英语冲刺阅读理解专项训练018... ... Indigenous adj. 本土的,土生土长的 monadic adj. 单一 Elite n. 精英,精 …
单一体的
enumeration的翻译 查词 例句 词组 大耳朵英语 ... monadic 单一体的, 单细胞生物的... corrigible 可改正的, 愿意改正的... ...

例句

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑,而布尔代数对应于命题逻辑,而多元代数对应于一阶逻辑。

类似的,一元布尔代数为S5提供了代数语义。

The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.

模态逻辑S5,被看作S4中一个理论,是一元布尔代数的模型,如同模态逻辑S4是内部代数的模型。

一元布尔代数还与模态逻辑有重要联系。

Hence S5-algebra is a synonym for monadic Boolean algebra.

所以S5-代数是一元布尔代数的同义词。

浅谈一元线性回归分析、直线插值法在千斤顶标定中的应用

A Monadic Perspective on Leibniz's Research into the Subject of Knowledge

从单子特性看莱布尼茨对知识主体的探究

模拟退火算法求算一维非线性方程的根

基于改进的遗传算法求一元非线性方程的根

一元二次方程的精彩演绎