| 单词 | monadic |
| 释义 |
例句释义: 单孢体的,一价元素的,一价物的,单轴的,一元的,单子,单边的 1. They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic. 它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。 dictsearch.appspot.com 2. Likewise, monadic Boolean algebras supply the algebraic semantics for S5. 类似的，一元布尔代数为S5提供了代数语义。 dictsearch.appspot.com 3. 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是内部代数的模型。 dictsearch.appspot.com 4. Monadic Boolean algebras also have an important connection to modal logic. 一元布尔代数还与模态逻辑有重要联系。 dictsearch.appspot.com 5. Hence S5-algebra is a synonym for monadic Boolean algebra. 所以S5-代数是一元布尔代数的同义词。 dictsearch.appspot.com 6. Simply Talking about Application of Monadic Linear Regression Analysis, Straight Line Interpolation in Jack Calibration 浅谈一元线性回归分析、直线插值法在千斤顶标定中的应用 service.ilib.cn 7. A Monadic Perspective on Leibniz's Research into the Subject of Knowledge 从单子特性看莱布尼茨对知识主体的探究 www.ilib.cn 8. Using Simulated Annealing Algorithm to Solve the Root of Monadic Nonlinear Equations 模拟退火算法求算一维非线性方程的根 ilib.cn 9. Using improved Genetic algorithm to solve the root of monadic nonlinear equations 基于改进的遗传算法求一元非线性方程的根 scholar.ilib.cn 10. Deduction of Monadic Quadratic Equation 一元二次方程的精彩演绎 www.ilib.cn 1. Network Capability Management Based on Monadic Regressive Analyse 基于回归分析的网络性能管理 www.ilib.cn 2. Some Notes of Extremum of Monadic Function 一元函数极值的若干注记 scholar.ilib.cn 3. An Approach to Dynamic Program Slicing Based on Modular Monadic Semantics 一种基于模块单子语义的动态程序切片方法 www.ilib.cn |
| 随便看 |
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。