可算函數邏輯
中 文 可算函數邏輯
英 文 logic for computable functions{=LCF}
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 可算函數邏輯 | logic for computable functions{=LCF} | 【電子計算機名詞】 |
| 可算函數 | computable function | 【資訊與通信術語辭典】 |
| 可算函數 | computable function | 【電子計算機名詞】 |
| 可計算函數 | countable function | 【資訊與通信術語辭典】 |
| 部分可計算函數 | partially computable function | 【電子計算機名詞】 |
| 五元組杜林可計算函數 | quintuple Turing computable function | 【電子計算機名詞】 |
| 可計算函數 | countable function | 【電子計算機名詞】 |
| 可變函數產生器 | variable function generator | 【資訊與通信術語辭典】 |
| 唯一可解函數 | unisolvent function | 【電機工程】 |
| 可變函數產生器 | variable function generator | 【電機工程】 |
| 亞可比函數 | Jacobian function | 【電機工程】 |
| 亞可比函數 | Jacobean | 【電機工程】 |
| 可積函數 | integrable function | 【電機工程】 |
| 不可微函數 | non-differentiable function | 【電機工程】 |
| 阿可曼函數 | Ackermann | 【電子計算機名詞】 |
| 唯一可解函數 | unisolvent function | 【電子計算機名詞】 |
| 可變函數產生器 | variable function generator | 【電子計算機名詞】 |
| 平方可積函數 | quadratically integrable function | 【電子計算機名詞】 |
| 可逆函數 | invertible function | 【電子計算機名詞】 |
| 逆阿可曼函數 | inverse Ackermann function | 【電子計算機名詞】 |