enumerable是什么意思_enumerable中文

enumerable中文什么意思

adj.
可点数的，可列举的。

enumerable model: 可数模型
enumerable set: 可枚举集; 可数集
non-enumerable: 不可数的
recursive enumerable: 递归可枚举集
recursively enumerable: 递归可枚举

下载手机词典可随时随地查词查翻译

例句与用法

更多例句：上一页

Consequently , the class pc of the p lus cupping computably enumerable degrees is not an ideal of ? the upper semilattice of the computably enumerable degrees
因此所有加杯可计算枚举度组成的集合pc不是的理想，这里是所有可计算枚举度构成的上半格。
After the author comparing the classification by the british - american law school and the continent law school respectively , of the right and duty between the directorate and the stockholder convention , and considering the pron and con analysis by our scholars in the field , then the author believes , the legal definition of the right of the directorate in our corporation law should combine both the general form and the enumerable form , and introduce the act by korean corporation law - connect the fixed right with the convertible right together
该部分，分析了英美法系和大陆法系各国对董事会职权和股东大会职权的划分及我国学者关于此方面的利弊分析。笔者建议：公司法在修改时对董事会职权的法律界定应采取概括式和列举式结合的方式，并可引用韩国公司法中规定的董事会固有职权和可转换职权相结合的方式。
The thesis consists of four sections . in section one , we introduce some background of the topic , in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic - the algebraic structure of the plus cupping turing degrees , in section three , we outline the basic principles of the priority tree argument , one of the main frameworks and tools of theorem proving in computability theory , and in section four , we prove a new result concerning the algebraic structure of the plus cupping turing degrees that there exist two computably enumerable degrees a , b such that a , b ? pc , and the join a v b of a and b is high
本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题?加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a ， b ，满足a ， b pc ，而且a和b的并a b是一个高度。