構造性（constructivity）是1993年公布的數學名詞。
基本介紹
- 中文名：構造性
- 外文名：constructivity
- 所屬學科：數學
- 公布時間：1993年
- 見載刊物：《數學名詞》 科學出版社
公布時間,出處,
公布時間
1993年，經全國科學技術名詞審定委員會審定發布。
出處
《數學名詞》第一版。
構造性
相關詞條
- 構造性
構造性（constructivity）是1993年公布的數學名詞。公布時間1993年，經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
- 構造性數學
構造性數學是構造性地(即從某些初始對象出發，通過明確規定的操作)展開的數學理論的通稱。同建立在公理之上的數學相反，主要由於後者在刻畫自然數、實數等方面缺乏唯一性所產生。有幾種流派，包括。直覺主義、希爾伯特的有限主義及畢肖普(...
- 構造性定義
構造性定義 構造性定義（constructive definition）是1993年公布的數學名詞。公布時間 1993年，經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
- 可構造性
可構造性(constructibility)一種可構造集理論.是研究集合的可構造性以及可構造集合的各種特殊性質的理論，也是證明集合論命題相對相容性的一種重要方法.集合論的可構造性由美籍奧地利數學家哥德爾(Godel , K.)於1938年在證明選擇公理相對...
- 構造性分拆理論研究
《構造性分拆理論研究》是依託上海對外經貿大學，由劉海擔任項目負責人的數學天元基金項目。項目摘要 本項目旨在研究構造性方法在分拆理論中的套用。該理論由當代組合數學權威、美國科學院院士George Andrews教授引領，有著很強的數學物理背景...
- 構造性成本模型
構造性成本模型（COCOMO，Constructive Cost Model）是由巴里·勃姆（Barry Boehm）提出的一種軟體成本估算方法。這種模型使用一種基本的回歸分析公式，使用從項目歷史和現狀中的某些特徵作為參數來進行計算。從本質上說是一種參數化的項目...
- 相對可構造性
相對可構造性是由法國數學家、工程師萊維(Levy, A.)與休恩菲爾德(Shoenfield,J. R.)在美籍奧地利數學家哥德爾(Godel , K.)的可構造性方法的基礎上發展起來的一種可構造性理論。 中文名 相對可構造性 外文名 relative constructibil...
- 構造邏輯
構造邏輯是一種非經典的邏輯系統。它主要由對數學持直覺主義、構造主義或致力於構造性數學研究和發展的數學家和邏輯學家建立和使用。在數理邏輯和數學基礎中，“構造性”一詞有幾種不同的理解並在幾種不同的意義下使用，其共同之處...
- 構造性分析的一些前沿課題的研究
《構造性分析的一些前沿課題的研究》是依託寧波大學，由周頌平擔任項目負責人的專項基金項目。科研成果 項目摘要 構造性分析是現代分析一個重大的綜合性方向，其突破性的進展將為其它領域的交叉套用提供工具和線索，為數學模型建立、算法實現...
- 組合數學中的構造性方法
《組合數學中的構造性方法》是依託南開大學，由陳永川擔任項目負責人的重點項目。中文摘要 組合數學是近年來發展十分迅速的一個新興的數學分支，主要研究的對象是離散結構。它的重要性在國際上受到普遍的認同。離散問題被列入了《國家中長期...
- 逼近論中若干構造性問題和方法的研究
《逼近論中若干構造性問題和方法的研究》是依託杭州師範大學，由虞旦盛擔任項目負責人的青年科學基金項目。項目摘要 項目主要研究(1)利用直接構造的方法構造適用於逼近Lp空間、Orlicz空間等函式空間的有理運算元，研究所構造運算元的逼近性質，...
- 非線性可積系統的構造性方法
《非線性可積系統的構造性方法》是一本2022年科學出版社出版的圖書，作者是張盛，徐波。 內容簡介 《非線性可積系統的構造性方法》研究非線性可積系統的可積性判定、精確求解和生成的一些構造性理論與方法。首先簡述非線性系統的可積性...
- 動態數據挖掘的構造性機器學習方法研究
《動態數據挖掘的構造性機器學習方法研究》是依託中國人民解放軍國防科技大學，由王倫文擔任項目負責人的面上項目。中文摘要 海量數據流的挖掘越來越受到相關部門的重視，由於噪聲、干擾等因素的影響，挖掘難度越來越大，知識發現的準確性和...
- 線性控制系統理論 : 構造性方法
《線性控制系統理論 : 構造性方法》是2001年科學出版社出版的圖書，作者是韓京清、許可康。內容簡介 主要內容包括：多項式矩陣與有理分式矩陣，線性控制系統，線性控制系統的結構性質，線性控制系統的標準型與實現問題，狀態反饋系統，動態補...
- 構造法
他認為“定義應當包括由有限步驟所定義對象的計算方法，而存在性的證明對於要確立其存在的那個量，應當許可計算到任意的精確度。”他曾計畫要把數學算術化並在數學領域中清除一切非構造性的成分及其根源。第二個強有力的倡導者是彭加勒，...
- 構造均勻性
構造均勻性（structural homogeneity）是指地質體中均勻的構造變形。實際上，自然界中的構造變形大多數都是不均勻的，即構造不均一性。所謂“均勻性”只能是在特定規模上統計意義上的均勻。由於對非均勻變形進行分析的數學理論非常複雜，...
- constructive
constructive proof [數] 構造性證明 ; 非構造性證明 Constructive Total Loss [保險] 推定全損 ; 推定全險 ; 推定金額 ; 推定 constructive solid geometry 構造實體幾何 ; 構造立體幾何法 ; 構造型立體幾何表達法 ; 構造實體幾何表示...
