x
uploads/enumerable.jpg

enumerable adj.可點數的,可列舉的。

enumerate

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是一個高度。

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 該部分,分析了英美法系和大陸法系各國對董事會職權和股東大會職權的劃分及我國學者關于此方面的利弊分析。筆者建議:公司法在修改時對董事會職權的法律界定應采取概括式和列舉式結合的方式,并可引用韓國公司法中規定的董事會固有職權和可轉換職權相結合的方式。

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不是的理想,這里是所有可計算枚舉度構成的上半格。

For an enumerable collection of business objects , the data source shows a list of public properties of simple data types exposed by the class object 對于業務對象的可枚舉集合,數據源將顯示由類對象所公開的簡單數據類型的公共屬性列表。

Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application 一階模糊謂詞邏輯公式的有限解釋真度和可數解釋真度的理論及其應用

Abstract : it is shown that there exists a diamond of high computably enumerable degrees preserving the greatest element 1 文摘:證明存在一個保持最大元1的可計算枚舉高度的鉆石格

You use the foreach from variable enumerator to enumerate the enumerable objects in the specified variable 您可以使用foreach源變量枚舉器枚舉指定變量中的可枚舉對象。

Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas 模糊謂詞邏輯公式的有限和可數解釋真度理論

Does , finding all of the documents is easy ; they all live in known and enumerable locations 這樣)時,找到所有文檔非常簡單;這些文檔都位于明確而可定位的地方。

Foreach from variable enumerator to enumerate the enumerable object that a specified variable contains Foreach源變量枚舉器,用于枚舉指定變量包含的可枚舉對象。

Provide methods to return enumerable collections of the properties for use at run time 提供用于返回這些屬性的可枚舉集合的方法,以便在運行時使用。

Method is invoked , it returns an enumerable object that contains the powers of a number 方法時,它返回一個包含數字冪的可枚舉對象。

Unmanaged com interfaces can be enumerable objects that access enumerations through an 方法訪問枚舉的可枚舉對象。

Method makes the type an enumerable type and allows using the 方法的存在使得類型成為可枚舉的類型,并允許使用

A computably enumerable ( c . e . ) 一個可計算枚舉( c

A computably enumerable ( c . e . , 一個可計算枚舉( computablyenumerable ,簡記為c

With all other enumerable data types , the 對于其他所有可枚舉的數據類型,將忽略

The enumerable object can be an array , an ado . net 可枚舉對象可以是數組、 ado . net