算術分層（arithmetical hierarchy）是1993年公布的數學名詞。
基本介紹
- 中文名：算術分層
- 外文名：arithmetical hierarchy
- 所屬學科：數學
- 公布時間：1993年
公布時間,出處,
公布時間
1993年，經全國科學技術名詞審定委員會審定發布。
出處
《數學名詞》第一版。
算術分層
相關詞條
- 算術分層
算術分層（arithmetical hierarchy）是1993年公布的數學名詞。公布時間1993年，經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
- 分層理論
關於集合算術分層和解析分層分別相應於無理數空間中的有限波萊爾集合射影集。J.W.艾迪生稱之為古典描述集合論。與之相應的，關於集合的(即=═時)算術分層和解析分層的理論便稱之為能行描述集合論。如果只考慮自然數謂詞(即在中，m=0的情形)，則可定義為型謂詞(≥0),它在型的謂詞中具有最高級的遞歸不可解度...
- 算術分層定理
算術分層定理 算術分層定理是一個數學術語。 算術分層定理(arithmetical hierarchy theo-rem)算術分層的性質定理.它指出算術分層是不
- 波斯特分層定理
波斯特分層定理(Post's hierarchy theorem)算術分層中各層之間的相似性性質定理 其內容為:一關係為On十、，若且唯若該關係是相對某個乏。或nn關係遞歸的;一關係為a十1，若且唯若該關係相對某個乏，或二，關係遞歸可枚舉.波斯特分層定理是波蘭一美國數理邏輯學家波斯特(Post, E. L.)於1948年證明的.
- 相對解析分層
解析分層亦稱解析譜系。按照量詞複雜性對解析關係所作的遞歸論分層。與算術分層類似，任何解析關係可以用算術關係加上有窮個交替出現的二階函式量詞ᗄ′與∃′表示，依照量詞個數，可以將該解析關係納入具體的解析分層Σ¹ₙ或π¹ₙ中。形式地，具體的解析分層Σ¹ₙ，π¹ₙ，Δ¹ₙ可遞歸定義...
- 大學生數學圖書館4:可計算函式
《大學生數學圖書館4:可計算函式》共分十一章，內容包括通用函式與不可判定性、編號與運算、Godel編號系統的性質、不動點定理、m—可約性與可數集的性質、Oracle計算、算術分層等。此外，作者還介紹了一些特殊的函式模型，如Turing機和遞歸函式。作者簡介 作者：（俄羅斯）沈（A.Shen） （俄羅斯）韋列夏金（N.K....
- 莫斯托夫斯基
莫斯托夫斯基主要研究數理邏輯、基礎數學等.1939年，他在排列模型方面得到了重要結果.經他和斯派克的工作把排列模型改進成了FMS方法，與外模型法結合，可構成對稱模型法.第二次世界大戰期間，他獨立於克林(Kleene , S. C.)導出了算術分層概念(工作到1947年才得以發表). 1948年，他給出了量詞的代數解釋;1949年，給...
- 韋氏兒童智力量表
它包括6個言語分測驗，即常識、類同、算術、辭彙、理解、背數；6個操作分測驗，即圖畫補缺、圖片排列、積木圖案、物體拼配、解碼、迷津。其中的背數和迷津兩個分測驗是備用測驗，當某個分測驗由於某種原因不能施測時，可以用之替代。測驗實施時，言語分測驗和操作分測驗交替進行，以維持被試的興趣，避免疲勞和厭倦...
- 儲量計算參數
平均品位的計算，一般是先計算單項工程平均品位，再計算由數個工程控制的面的平均品位。最後計算分層塊段、分層的平均品位。1、工程平均品位的計算 設計中所計算的是勘探工程中某一段的樣品組合品位，色D階段或中段區間所切取的樣品段。一般有下列幾種情況。（1）當取樣長度基本一致時，使用算術平均法。（2）當...
- 儲量計算
當上、下煤分層厚度等於或大於夾矸厚度時，將上、下煤分層厚度加在一起作為煤層儲量計算採用厚度。④對於複雜結構煤層，當夾矸的總厚度不超過各煤分層總厚度的1/2時，可將各煤分層的總厚度作為煤層儲量計算採用厚度。(2)計算塊段平均煤層厚度。在煤層厚度變化不大、勘探工程布置比較均勻的條件下，一般採用算術平均...
- 遞歸論(數理邏輯的重要分支之一)
遞歸論亦稱可計算性理論(computability theory)，數理邏輯分支之一。它是研究關於可計算性與可定義性的數學理論，主要關注於事物的可計算性，可定義性及其分層。遞歸論起源於20 世紀30 年哥德爾、丘奇、圖靈、克林和波斯特(E.Post) 等關於自然數集合的可計算性的研究。經典遞歸論 經典的遞歸論關注於自然數集合的可...
- 韋克斯勒成人智力量表
韋氏成人智力量表修訂本包括言語量表和操作量表兩個部分。如表1-1所示，11個分測驗中，常識、數字廣度、辭彙、算術、理解、類同6個分測驗構成言語量表，填圖、圖片排列、積木圖案、物體拼湊、數字元號5個分測驗構成操作量表。言語量表和操作量表交替進行。每個分測驗的原始分多少不一，有的最高分為90分，有的最高...
