查询词典 monadic

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

一元布尔代数还与模态逻辑有重要联系。

Applying theory to specific cases to analyse ideogical method of transformation of several problems,briefly problems the principle and significance of transformation method in monadic calculus.

扼要论述了化归的原则及意义，从理论和实例分析讨论了一元微积分中若干典型问题化归的基本方法。

Here,at any rate,intercontextuality as a form of the monadic simultaneity has come to be associated with a matter of closure or of interweaving relationship of traces,strands,or episodes rather than of judgment and evaluation.

Here ，无论如何， intercontextuality是一种形式的单一同时已成为一个问题相关的关闭或交织关系的痕迹，链，或集而不是判断和evaluation。

The common kind that linger where Monadic beings live and fare

这好象魔那迪仍旧活着。我也许不特别

As for solo activity, this dissertation uses mainly monadic or multiple regression analysis to reduce the subjectivism in the select and the definition of cost factors.

对单纯性作业则主要用一元或多元回归分析，降低成本动因选择与确定的主观性。

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

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

Qualification of legal subject is constitutive rather than monadic.

在对法律关系进行概念分析以及法技术解剖的基础上，本文以建设性的后现代主义精神为纲领，改造传统的主客体二分化的法律关系模式，提出主体构成性法律关系模式。

Because traditional program slicing methods lack modularity and flexibility, we had proposed a new formal method for program slicing—modular monadic slicing.

因目前切片方法缺乏模块性和灵活性，我们实验室曾提出一种新的形式化切片方法——模块单子切片。

This paper uses some of the contents of econometrics, including computations and proving of related coefficients and monadic linear regression analysis methods to analysis the degree of association between the various circumstances for the prosperity in each industryin China and the performance of related industries in the stock market as well as the industry indexes. Through conducting this type of analysis, the paper, hopes to provide the investors in China with some definite assistance in their allocations to the various industries during the course of stock investments.

本文利用计量经济学中的一些内容，包括相关系数的计算及检验、一元线性回归分析方法来分析近年来我国各行业的景气情况与相关行业在证券市场的表现即行业指数的运行之间的关联度，并旨在通过这一分析为我国的投资者在证券投资的过程中所进行的行业配置工作提供一定的帮助。

Formal semantic description ; Security protocol analysis ; Game semantics ; Monadic semantics

形式化语义描述；安全协议分析；博弈语义；单子语义

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。