遞歸謂詞（recursive predicate）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：遞歸謂詞
- 外文名：recursive predicate
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
若一個謂詞所確定的集合為遞歸集，則稱它是一個遞歸謂詞。
出處
《計算機科學技術名詞 》第三版。
遞歸謂詞
相關詞條
- 遞歸謂詞
遞歸謂詞（recursive predicate）是2018年公布的計算機科學技術名詞。定義若一個謂詞所確定的集合為遞歸集，則稱它是一個遞歸謂詞。出處《計算機科學技術名詞 》第三版。1...
- 謂詞演算
個體表示某一個物體或元素，量詞表示數量，謂詞表示個體的一種屬性 。例如用P(x)表示x是一棵樹，則P(y)表示y是一棵樹，用Q(x)表示x有葉 ，則Q(y)表示y也有葉。這裡P、Q是一元謂詞，x，y是個體，公式"∀(P(x)→Q(x)...
- 能行性和一般遞歸
例如，把求作題的答案看作參數 m,n的函式f(m,n)，把問答題本身看作參數m,n的謂詞P(m,n),則求作題就是求函式f(m,n)的值，而問答題則是判定謂詞P(m,n)的真假。如果函式f(m,n)是遞歸全函式即一般遞歸函式，該問題就...
- 初等謂詞
初等謂詞 初等謂詞是一個數學術語。初等謂詞(elementary predicate)一種數論謂詞.若數論謂詞P的特徵函式為初等函式，則稱P為初等謂詞，若一個集合A的特徵函式為初等函式，則稱A為初等遞歸集，簡稱初等集.
- 一階邏輯
一階邏輯(first order logic,FOL)也叫一階謂詞演算，允許量化陳述的公式，是使用於數學、哲學、語言學及計算機科學中的一種形式系統。一階邏輯是區別於高階邏輯的數理邏輯，它不允許量化性質。性質是一個物體的特性；所以一個紅色物體被...
- 分層理論
同樣的，一個遞歸可枚舉集A恰為{x|扽yRxy}，其中R為一般遞歸謂詞,所以一切遞歸可枚舉集也是算術的，而由於一階公式對於邏輯運算壨量詞彐(自然數變元)具有封閉性，所以任一算術集的補和射影依然是算術的，如此等等。在使用適當約定和...
- 描述集合論
和m=n=1而言，存在一個原始遞歸謂詞 ，使得當任意給定一個一般遞歸謂詞 時，我們恆有一個自然數 ，使得 (枚舉定理(enumeration theorem))。在這個定理中，我們可以把 取為 。對每個k≥0，都存在一個 (或 )謂詞，它不可在其對偶...
- 數理邏輯(2010年中國社會科學出版社出版的圖書)
第二節 半遞歸謂詞 第三節 理論的算術化 第四節 可判定的理論 思考題 第五章 不完全性定理 第一節 可表示性 第二節 不完全性定理 第三節 算術集合 第四節 皮亞諾算術的遞歸擴張 第五節 第二不完全性定理 思考題 作者簡介 ...
- 算術關係
算術性(arithmeticity)是遞歸論術語，反映數論謂詞(關係)能否由一階算術理論來表示的性質，數論謂詞P具有算術性(即稱P為算術謂詞、或算術關係)，是指存在一個一階算術公式φ在Ω中表示P，即對任何自然數n，成立，若且唯若 (為 0)...
- 可構造序數
，於是，上面的結果便可以關於N而相對化。例如，(3)的相對化的結果為:存在一個關於N一致的原始遞歸謂詞 使得 。如果N為超算術的，則關於N而相對化並非會帶來擴充，即 是成立的，但是當關於O 而進行相對化時，則可以獲得它的真正的...
- 命題邏輯
命題邏輯是指以邏輯運算符結合原子命題來構成代表“命題”的公式，以及允許某些公式建構成“定理”的一套形式“證明規則”。相對於謂詞邏輯，它是量化的並且它的原子公式是謂詞函式；和模態邏輯，它可以是非真值泛函的。演算是用來證明有效...
- 數理邏輯發展史:從萊布尼茨到哥德爾
五 原始遞歸函式和原始遞歸謂詞 六 原始遞歸函式在系統中的數字可表示性 七 不可判定命題的形式結構 八 不可判定命題與說謊者悖論的關係 九 哥德爾不完全性定理的證明 十 哥德爾不完全性定理的哲學意義 第四節 選擇公理和廣義連續假設...
- 可計算性與計算複雜性導引
第二章 原始遞歸函式 2.1 原始遞歸函式 2.2 原始遞歸謂詞 2.3 疊代運算、有界量詞和極小化 2.4 配對函式和godel數 2.5 原始遞歸運算 2.6 ackermann函式 2.7 字函式的可計算性 習題 第三章 通用程式 3.1 程式的代碼 3.2...
- 二階算術
二階算術(second order arithmetics)是遞歸論研究的內容之一。是刻畫自然數理論的二階形式理論。所使用的語言是二階算術語言L₂。它是在一階算術語言L的基礎上，增加二階變元(即取值於函式或謂詞的變數)及相應的量詞而得。這種二階...
- 高階邏輯
高階邏輯區別於一階邏輯的其他方式是在構造中允許下層的類型論。性質 高階邏輯更加富有表達力，但是它們的性質，特別是有關模型論的，使它們對很多套用不能表現良好。作為哥德爾的結論，經典高階邏輯不容許(遞歸的公理化的)可靠的和完備...
- 原子公式(數理邏輯)
在邏輯系統中的合式公式通常通過識別所有有效的原子公式，和給出從兩個原子公式建立公式的規則而遞歸的定義。公式簡介 在離散數學中，設R（）是Γ的任意n元謂詞，t1,t2,…,tn是任意F的任意的n個項，則稱R（t1,t2,…tn）是Γ的...
- 編程的修煉(2013年電子工業出版社出版的圖書)
這方面研究的成果是，正如在這本專著里闡釋的，一個重複結構的語義可以基於謂詞之間的一個遞歸關係定義，而一個廣義遞歸的語義定義則需要基於謂詞轉換器之間的一個遞歸關係。這一點很清楚地說明，為什麼我認為廣義遞歸的複雜性比重複結構高...
- 不可定義性理論
類似的還可以給出可（不可）定義的函式、集合等概念，它們都可被包含在下述的"可（不可）定義謂詞"概念中。設P(x1,...,xn)是u上的一個謂詞，如果存在L中一個式子嗞（x1,...,xn），使對u中任何元素a1,...,an都有：P(a1...
- 莫紹揆
尤其是對歸宿步驟式作了精闢的研究．他獨樹一幟地提出了初基函式和五則函式等新概念，這些概念不僅使得一般遞歸函式的構成大大簡化，而且也具有一定的實用意義．正是在這些新概念的基礎上，他在1986年解決了Scholz問題，即一個一階謂詞...
- 判定問題
它包括邏輯演算(命題演算與謂詞演算)、公理化集合論、證明論、遞歸函式論、模型論和算法理論等。它是離散數學的一個重要組成部分。數理邏輯從稱為公理的命題(相當於判斷)出發，利用所規定的一組特定的符號，使得所討論的複雜邏輯關係，...
