可算述詞
中 文 可算述詞
出 處 資訊與通信術語辭典
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 可算述詞 | computable predicate | 【資訊與通信術語辭典】 |
| 可算述詞 | computable predicate | 【電子計算機名詞】 |
| 半可計算述詞 | semicomputable predicate | 【電子計算機名詞】 |
| 可算函數 | computable function | 【資訊與通信術語辭典】 |
| 參考運算述函數 | referencing arithmetic statement function | 【電子計算機名詞】 |
| 半可算集 | semicomputable set | 【電子計算機名詞】 |
| 半可算 | semicomputable | 【電子計算機名詞】 |
| 半可算性 | semicomputability | 【電子計算機名詞】 |
| 可算函數邏輯 | logic for computable functions{=LCF} | 【電子計算機名詞】 |
| 非可算時間 | nonaccountable time | 【電子計算機名詞】 |
| 可算函數 | computable function | 【電子計算機名詞】 |
| 第二階述詞演算 | second order predicate calculus | 【資訊與通信術語辭典】 |
| 單述詞演算 | unary predicate calculus | 【資訊與通信術語辭典】 |
| 一階述詞演算 | first order predicate calculus | 【資訊與通信術語辭典】 |
| 較高階述詞演算 | higher order predicate calculus | 【資訊與通信術語辭典】 |
| 述詞演算 | predicate calculus | 【資訊與通信術語辭典】 |
| 算術述詞 | arithmetical predicate | 【電子計算機名詞】 |
| 第二階述詞演算 | second predicate calculus | 【電子計算機名詞】 |
| 第二階述詞演算 | second order predicate calculus | 【電子計算機名詞】 |
| 單述詞演算 | unary predicate calculus | 【電子計算機名詞】 |