monadic

美 [m?'næd?k] 　英 [m?'næd?k]

• adj.單孢體的；一價(jià)元素的；一價(jià)物的；單軸的
• 網(wǎng)絡(luò)一元的；單子；單邊的

英漢解釋

adj.	1. 〔數(shù)〕一元的, 單孢體的 2. 一價(jià)元素的 3. 一價(jià)物的 4. 單軸的

例句

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

它們對(duì)應(yīng)一元謂詞邏輯，而布爾代數(shù)對(duì)應(yīng)于命題邏輯，而多元代數(shù)對(duì)應(yīng)于一階邏輯。

Likewise, monadic Boolean algebras supply the algebraic semantics for S5.

類似的，一元布爾代數(shù)為S5提供了代數(shù)語義。

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.

模態(tài)邏輯S5，被看作S4中一個(gè)理論，是一元布爾代數(shù)的模型，如同模態(tài)邏輯S4是內(nèi)部代數(shù)的模型。

Monadic Boolean algebras also have an important connection to modal logic.

一元布爾代數(shù)還與模態(tài)邏輯有重要聯(lián)系。

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

所以S5-代數(shù)是一元布爾代數(shù)的同義詞。

Simply Talking about Application of Monadic Linear Regression Analysis, Straight Line Interpolation in Jack Calibration

淺談一元線性回歸分析、直線插值法在千斤頂標(biāo)定中的應(yīng)用

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

從單子特性看萊布尼茨對(duì)知識(shí)主體的探究

Using Simulated Annealing Algorithm to Solve the Root of Monadic Nonlinear Equations

模擬退火算法求算一維非線性方程的根

Using improved Genetic algorithm to solve the root of monadic nonlinear equations

基于改進(jìn)的遺傳算法求一元非線性方程的根

Deduction of Monadic Quadratic Equation

一元二次方程的精彩演繹

Network Capability Management Based on Monadic Regressive Analyse

基于回歸分析的網(wǎng)絡(luò)性能管理

Some Notes of Extremum of Monadic Function

一元函數(shù)極值的若干注記

An Approach to Dynamic Program Slicing Based on Modular Monadic Semantics

一種基于模塊單子語義的動(dòng)態(tài)程序切片方法