半可計算述詞
中 文 半可計算述詞
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 半可計算述詞 | semicomputable predicate | 【電子計算機名詞】 |
| 實際半可計算的 | actually semicomputable | 【電子計算機名詞】 |
| 可算述詞 | computable predicate | 【資訊與通信術語辭典】 |
| 可算述詞 | computable predicate | 【電子計算機名詞】 |
| 可計算函數 | countable function | 【資訊與通信術語辭典】 |
| 部分可計算 | partially computable | 【資訊與通信術語辭典】 |
| 可計算性理論 | computability theory | 【資訊與通信術語辭典】 |
| 可計算性 | computability | 【資訊與通信術語辭典】 |
| 可計算性 | calculability | 【電機工程】 |
| 可計算性特性化 | characterization of computability | 【電子計算機名詞】 |
| 不可計算的問題 | uncomputable problem | 【電子計算機名詞】 |
| 不可計算的函數 | uncomputable function | 【電子計算機名詞】 |
| 部分可計算性 | partial computability | 【電子計算機名詞】 |
| 部分可計算函數 | partially computable function | 【電子計算機名詞】 |
| 部分可計算 | partially computable | 【電子計算機名詞】 |
| 五元組杜林可計算函數 | quintuple Turing computable function | 【電子計算機名詞】 |
| 不可計算的流程圖 | noncomputable flow graph | 【電子計算機名詞】 |
| 可計算函數 | countable function | 【電子計算機名詞】 |
| 可計算模型 | connectionist model | 【電子計算機名詞】 |
| 不可計算性 | incomputability | 【電子計算機名詞】 |