λ演算記法
中 文 λ演算記法
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| λ演算記法 | lambda calculus notation | 【電子計算機名詞】 |
| λ演算 | λ-calculus | 【電子計算機名詞】 |
| λ演算 | lambda calculus | 【資訊與通信術語辭典】 |
| λ演算 | lambda calculus | 【電子計算機名詞】 |
| 具型式之 λ 演算 | typed lambda-calculus | 【電子計算機名詞】 |
| 演算方法 | algorithmic method | 【設計學】 |
| 純 λ 演算 | pure lambda-calculus | 【電子計算機名詞】 |
| 相聯語法演算 | associative syntactic calculus | 【電子計算機名詞】 |
| 演算[法] | algorithm | 【化學工程名詞】 |
| 單體[演算]法 | simplex method | 【化學工程名詞】 |
| 演算[法] | algorithm | 【化學工程名詞-兩岸化學工程名詞】 |
| 單體[演算]法 | simplex method | 【化學工程名詞-兩岸化學工程名詞】 |
| 推算航法 | dead reckoning | 【測繪學辭典】 |
| 水庫演算 | reservoir routing | 【力學名詞辭典】 |
| 瀦蓄演算 | storage routing | 【力學名詞辭典】 |
| 水文演算 | hydrologic routing | 【力學名詞辭典】 |
| 水理演算 | hydraulic routing | 【力學名詞辭典】 |
| 布林演算 | Boolean calculus | 【資訊與通信術語辭典】 |
| 第二階述詞演算 | second order predicate calculus | 【資訊與通信術語辭典】 |
| 句演算 | sentential calculus | 【資訊與通信術語辭典】 |