monadic

monadic什么意思,monadic翻译

基本解释

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

  一元二次方程的精彩演绎