单词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
一元二次方程的精彩演绎