λ演算
中 文 λ演算
英 文 λ-calculus
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| λ演算 | λ-calculus | 【電子計算機名詞】 |
| λ演算 | lambda calculus | 【資訊與通信術語辭典】 |
| λ演算記法 | lambda calculus notation | 【電子計算機名詞】 |
| λ演算 | lambda calculus | 【電子計算機名詞】 |
| 具型式之 λ 演算 | typed lambda-calculus | 【電子計算機名詞】 |
| 純 λ 演算 | pure lambda-calculus | 【電子計算機名詞】 |
| 水庫演算 | reservoir routing | 【力學名詞辭典】 |
| 瀦蓄演算 | storage routing | 【力學名詞辭典】 |
| 水文演算 | hydrologic routing | 【力學名詞辭典】 |
| 水理演算 | hydraulic routing | 【力學名詞辭典】 |
| 布林演算 | Boolean calculus | 【資訊與通信術語辭典】 |
| 第二階述詞演算 | second order predicate calculus | 【資訊與通信術語辭典】 |
| 句演算 | sentential calculus | 【資訊與通信術語辭典】 |
| 單述詞演算 | unary predicate calculus | 【資訊與通信術語辭典】 |
| 元組演算 | tuple calculus | 【資訊與通信術語辭典】 |
| 命題演算 | propositional calculus | 【資訊與通信術語辭典】 |
| 一階述詞演算 | first order predicate calculus | 【資訊與通信術語辭典】 |
| 較高階述詞演算 | higher order predicate calculus | 【資訊與通信術語辭典】 |
| 述詞演算 | predicate calculus | 【資訊與通信術語辭典】 |
| 演算語言 | algorithmic language | 【電子工程】 |