月亮词典
首页
查询
Monadic
英音[ mɒˈnædɪk ] 美音[ məˈnædɪk ]
单细胞生物的
常用释义
词性释义
adj.
单细胞生物的；单孢体的
例句
全部
They
are
to
monadic
predicate
logic
what
Boolean
algebras
are to
propositional
logic
,
and
what polyadic algebras are to first-
order
logic
.
它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。
Likewise
,
monadic
Boolean
algebras
supply
the
algebraic
semantics
for
S5
.
类似的，一元布尔代数为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是内部代数的模型。
Monadic
Boolean
algebras
also
have
an
important
connection
to
modal
logic
.
一元布尔代数还与模态逻辑有重要联系。
Hence
S5-algebra is a
synonym
for
monadic
Boolean
algebra
.
所以S5-代数是一元布尔代数的同义词。
Simply
Talking about
Application
of
Monadic
Linear
Regression
Analysis
,
Straight Line
Interpolation
in
Jack
Calibration
浅谈一元线性回归分析、直线插值法在千斤顶标定中的应用
A
Monadic
Perspective
on
Leibniz
's Research
into
the
Subject
of
Knowledge
从单子特性看莱布尼茨对知识主体的探究
Using
Simulated
Annealing
Algorithm
to Solve the
Root
of
Monadic
Nonlinear
Equations
模拟退火算法求算一维非线性方程的根
Using
improved
Genetic
algorithm
to solve the
root
of
monadic
nonlinear
equations
基于改进的遗传算法求一元非线性方程的根
Deduction
of
Monadic
Quadratic
Equation
一元二次方程的精彩演绎