monadic

monadic

美 [mə'nædɪk] 　英 [mɒ'nædɪk]

• adj.单孢体的；一价元素的；一价物的；单轴的
• 网络一元的；单子；单边的

英汉解释

adj.	1. 〔数〕一元的, 单孢体的 2. 一价元素的 3. 一价物的 4. 单轴的

例句

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

一元二次方程的精彩演绎

Network Capability Management Based on Monadic Regressive Analyse

基于回归分析的网络性能管理

Some Notes of Extremum of Monadic Function

一元函数极值的若干注记

An Approach to Dynamic Program Slicing Based on Modular Monadic Semantics

一种基于模块单子语义的动态程序切片方法