遞迴可公理化
中 文 遞迴可公理化
出 處 數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 遞迴可公理化 | recursively axiomatizable | 【數學名詞-兩岸數學名詞 】 |
| 遞迴可公理化 | recursively axiomatizable | 【數學名詞】 |
| 可有理化[的]積分 | rationalizable integral | 【數學名詞】 |
| 公理化幾何學 | axiomatic geometry | 【教育學名詞-科教名詞】 |
| 客觀〔的〕環境；可〔用理化方法〕測〔定的〕環境 | objective environment | 【生物學名詞-植物】 |
| 可約性公理 | reducibility axiom | 【電子計算機名詞】 |
| 格式化且可處理之文件 | formatted processable document | 【電子計算機名詞】 |
| 第二可數[性]公設；第二可數[性]公理 | second axiom of countability | 【數學名詞-兩岸數學名詞 】 |
| 第一可數[性]公設；第一可數[性]公理 | first countability axiom | 【數學名詞-兩岸數學名詞 】 |
| 第一可數[性]公設；第一可數[性]公理 | first axiom of countability | 【數學名詞-兩岸數學名詞 】 |
| 可數性公理 | countability axiom | 【數學名詞】 |
| 可建構性公設；可建構性公理 | constructivity axiom | 【數學名詞】 |
| 第一可數[性]公設；第一可數[性]公理 | first axiom of countability ; first countability axiom | 【數學名詞】 |
| 第二可數[性]公設；第二可數[性]公理 | second axiom of countability ; second countability axiom | 【數學名詞】 |
| 第二可數[性]公設；第二可數[性]公理 | axiom of second countability ; second axiom of countability | 【數學名詞】 |
| 可約性公設；可約性公理 | axiom of reducibility | 【數學名詞】 |
| 可數公設；可數公理 | axiom of denumerability | 【數學名詞】 |
| 維可玻璃｛美國康寧玻璃公司化學用耐熱玻璃的商用名｝ | Vycor | 【材料科學名詞-金屬材料】 |
| 可劈開的；劈理化的 | cleavable | 【礦物學名詞】 |
| 遞迴公式化 | recursive formulation | 【電子計算機名詞】 |