相關詞條
-
遞歸可枚舉集
又稱部分遞歸集。在能行性理論中,基本概念是遞歸函式,它可刻畫為:任給x,只要它在x處有定義必可在有限步驟內求出其值。因此遞歸全函式(即處處有定義的)必可...
遞歸可枚舉集 正文 “遞歸可枚舉集”與“遞歸集”的比較 -
枚舉
在數學和計算機科學理論中,一個集的枚舉是列出某些有窮序列集的所有成員的程式,或者是一種特定類型對象的計數。這兩種類型經常(但不總是)重疊。 是一個被命名...
詞語概念 常數集合 數值計算 枚舉排列 -
枚舉法
在進行歸納推理時,如果逐個考察了某類事件的所有可能情況,因而得出一般結論,那么這結論是可靠的,這種歸納方法叫做枚舉法.
簡介 特點 基本思路 結構 優缺點 -
遞歸可枚舉集和圖靈度
ction ction Recursion
內容介紹 -
產生集
產生集(productive set)是一種非re集。若集合A不是re的,則A的任何re子集We一定是A的真子集,從而有a∈A-We 。若這種a可以由e...
概念 集合 遞歸可枚舉集 遞歸函式 -
創造集
創造集(creative set)亦稱能行非遞歸集,是余集為產生集的re集。設a為re集,若ā是產生集,則稱a為創造集。例如K={x|φx(x)↓}就是...
定義 相關結論 -
程式集
經由編譯器編譯得到的,供CLR進一步編譯執行的那箇中間產物,在WINDOWS系統中,它一般表現為·dll或者是·exe的格式,但是要注意,它們跟普通意義...
定義 組成部分 執行功能 總結 -
程式集清單
程式集清單包含指定該程式集的版本要求和安全標識所需的所有元數據,以及定義該程式集的範圍和解析對資源和類的引用所需的全部元數據。
概念 程式集清單功能 程式集清單內容 -
簪花集
簪花集,廖覓竹,尤工七律,喜壯遊,好作詠史懷古詩。著有《簪花集》。因欽慕清代七律高手陳恭尹,並以之為奮鬥目標。其餘不具。簪花集序 廖覓竹《簪花集》律詩節...
簪花集序 廖覓竹《簪花集》律詩節選 -
寒笳集
寒笳集,又名蕅益大師警訓略錄,弘一法師編訂。壬戌(1922)之歲,嘗依《靈峰宗論》摭寫警訓一卷,顏曰《寒笳集》。
原文 法語 示閱藏四則 普說 偶錄