構造性定義（constructive definition）是1993年公布的數學名詞。
基本介紹
- 中文名：構造性定義
- 外文名：constructive definition
- 所屬學科：數學
- 公布時間：1993年
公布時間,出處,
公布時間
1993年，經全國科學技術名詞審定委員會審定發布。
出處
《數學名詞》第一版。
構造性定義
相關詞條
- 構造性定義
構造性定義（constructive definition）是1993年公布的數學名詞。公布時間1993年，經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
- 構造性
構造性 構造性（constructivity）是1993年公布的數學名詞。公布時間 1993年，經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
- 構造性數學
定義 構造性數學是現代數學研究的一個重要領域。在數學的討論中，常把能具體地給出某一對象或者能給出某一對象的計算方法者稱之為可構造的。類似地，把能證實“存在一個對象滿足性質P”的證明稱為構造的是指能從這個證明中具體地給...
- 構造法
例3 給出樹、最小樹、樹形圖的構造性定義。樹，就是一個無向圖，它的任何兩個頂點間，可以由唯一的(即沒有圈)的連結方法，通過一串兩兩有公共頂點的邊的序列(即鏈)連結起來。圖中每一條邊有一個長度，使總長度最小的樹，稱為...
- 相對可構造性
定義 相對可構造性(relative constructibility)一種可構造性理論..設A為任意集合,仿照可構造集全域L的構造方法定義LQ [A]如下: 相對可構造性 當a為極限序數時, 式中Def (x)=cl(X J X J A JX ) P(x),On 為序數全域.稱...
- 構造邏輯
在構造邏輯中，各個聯結詞和量詞都是彼此獨立、不能相互定義的。從20世紀30年代以來，構造邏輯已建立了多個形式系統。其中，K.哥德爾在1958年構作的系統為：①A,A→B崊B;②A→B,B→C崊A→C;③A∨A→A,A→A∧A;④A→A∨B...
- 可構造性
)的基數就可以輕鬆地確定下來，從而也就可以解決連續統假設問題.為了限制冪集運算，哥德爾利用“可定義冪集”取代冪集.所謂一個集合x的可定義冪集Def (x)，指包含能用集合論語言定義出的所有x的子集(參見“可構造集全域”)，因此，...
- 構造繼承性
構造繼承性（tectonic inheritance）是指新演化階段出現的構造格局，如洋、陸分布、盆地和火山帶的方向、構造變形作用的指向等總體上仍繼承先期構造。釋義 構造繼承性（tectonic inheri fence）指新構造在方向上和力學性質上與老構造相一致...
