公理複雜性
中 文 公理複雜性
出 處 電子計算機名詞
相關詞匯
中文詞彙 | 英文翻譯 | 出處/學術領域 |
---|---|---|
公理複雜性 | axiomatic complexity | 【電子計算機名詞】 |
介中性公設;中間性公設;介中性公理;中間性公理 | axiom of betweenness | 【數學名詞】 |
可約性公理 | reducibility axiom | 【電子計算機名詞】 |
局部確定性公理 | local-deterministic axiom | 【電子計算機名詞】 |
第二可數[性]公設;第二可數[性]公理 | second axiom of countability | 【數學名詞-兩岸數學名詞 】 |
第一可數[性]公設;第一可數[性]公理 | first countability axiom | 【數學名詞-兩岸數學名詞 】 |
第一可數[性]公設;第一可數[性]公理 | first axiom of countability | 【數學名詞-兩岸數學名詞 】 |
連續性公設;連續性公理 | axiom of continuity | 【數學名詞-兩岸數學名詞 】 |
可數性公理 | countability axiom | 【數學名詞】 |
可建構性公設;可建構性公理 | constructivity axiom | 【數學名詞】 |
第一可數[性]公設;第一可數[性]公理 | first axiom of countability ; first countability axiom | 【數學名詞】 |
公理的相容性;公理的一致性;公理的無矛盾性 | consistency of axioms | 【數學名詞】 |
公設的獨立性;公理的獨立性 | independence of axioms | 【數學名詞】 |
第二可數[性]公設;第二可數[性]公理 | second axiom of countability ; second countability axiom | 【數學名詞】 |
第二可數[性]公設;第二可數[性]公理 | axiom of second countability ; second axiom of countability | 【數學名詞】 |
可約性公設;可約性公理 | axiom of reducibility | 【數學名詞】 |
無窮性公設;無窮性公理 | axiom of infinity | 【數學名詞】 |
外延性公設;外延性公理 | axiom of extensionality | 【數學名詞】 |
連續性公設;連續性公理 | axiom of continuity | 【數學名詞】 |
完備性公設;完備性公理 | axiom of completeness | 【數學名詞】 |
▸ 英文翻譯