-
遞歸集合
鎖定
在C語言中,位段的聲明和結構(struct)類似,但它的成員是一個或多個位的字段,這些不同長度的字段實際儲存在一個或多個整型變量中。在聲明時,位段成員必須是整形或枚舉類型(通常是無符號類型),且在成員名的後面是一個冒號和一個整數,整數規定了成員所佔用的位數。位域不能是靜態類型。不能使用&對位域做取地址運算,因此不存在位域的指針,編譯器通常不支持位域的引用(reference)。
- 中文名
- 遞歸集合
- 領 域
- 計算機
遞歸集合定義
遞歸集合例子
- 自然數
- 自然數的所有有限子集(有限子集並非可數子集,後者可能有無限多的元素)
- 素數的集合
遞歸集合性質
如果A是遞歸集合,則A的補集是遞歸集合。 如果A和B是遞歸集合,則A∩B、A∪B和A×B是遞歸集合。集合A是遞歸集合,當且僅當A和A的補集是遞歸可枚舉集合。一個遞歸集合在全可計算函數下的原像(preimage)是遞歸集合
[1]
。
遞歸集合遞歸函數
一種計算過程,如果其中每一步都要用到前一步或前幾步的結果,稱為遞歸的。用遞歸過程定義的函數,稱為遞歸函數,例如連加、連乘及階乘等。凡是遞歸的函數,都是可計算的,即能行的。
古典遞歸函數,是一種定義在自然數集合上的函數,它的未知值往往要通過有限次運算迴歸到已知值來求出,故稱為“遞歸”。它是古典遞歸函數論的研究對象
遞歸集合遞歸可枚舉集合
遞歸可枚舉集,又稱部分遞歸集。在能行性理論中,基本概念是遞歸函數,它可刻畫為:任給x,只要它在x處有定義必可在有限步驟內求出其值。因此遞歸全函數(即處處有定義的)必可在有限步驟內求出它的任一值,至於遞歸部分函數(未必處處有定義的)則只要求有定義處可求出其值,但不要求能夠在有限步驟內判定它的定義域的元素,即對任給的x判定x是否屬於函數的定義域。
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:8次歷史版本
- 最近更新: 哪有什么错与对