不可決策性定理
中 文 不可決策性定理
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 不可決策性定理 | undecidability theorem | 【電子計算機名詞】 |
| 半可決策性的 | semi-decidable | 【資訊與通信術語辭典】 |
| 半可決策性的 | semi-decidable | 【電子計算機名詞】 |
| 半可決策性 | semi-decidability | 【電子計算機名詞】 |
| 完全不可決策的問題 | totally undecidable problem | 【電子計算機名詞】 |
| 不可決策的問題 | undecidable problem | 【電子計算機名詞】 |
| 不可決策的語言 | undecidable language | 【電子計算機名詞】 |
| 不可決策的 | undecidable | 【電子計算機名詞】 |
| 哥德不完整性定理 | Godel incompleteness theorem | 【資訊與通信術語辭典】 |
| 不可否認性政策 | non-repudiation policy | 【電子計算機名詞】 |
| 哥德不完整性定理 | Godel incompleteness theorem | 【電子計算機名詞】 |
| 區域不變性定理 | invariance theorem of domain | 【數學名詞】 |
| 不變性定理 | invariance theorem | 【數學名詞】 |
| 可加性定理 | additive theorem | 【統計學名詞】 |
| 不可共量性 | Incommensurability | 【教育大辭書】 |
| 不可壓縮性 | incompressibility | 【力學名詞辭典】 |
| 唯一性定理 | uniqueness theorem | 【力學名詞辭典】 |
| 不可逆毒性 | Irreversible Toxicity | 【環境科學大辭典】 |
| 來源證明之不可否認性；具來源證明不可否認性 | non-repudiation with proof of origin | 【電子工程】 |
| 具投遞送達證明之不可否認性 | non-repudiation with proof of delivery | 【電子工程】 |