lambda calculus

英 文 lambda calculus

中 文 λ演算

出 處 資訊與通信術語辭典

Knights of the Lambda-Calculus Lambda-Calculus 騎士 【電子計算機名詞】

lambda calculus λ演算 【資訊與通信術語辭典】

lambda calculus notation λ演算記法 【電子計算機名詞】

lambda calculus λ演算 【電子計算機名詞】

second-order Lambda-calculus 二階 Lamda 微積分 【電子計算機名詞】

typed lambda-calculus 具型式之 λ 演算 【電子計算機名詞】

pure lambda-calculus 純 λ 演算 【電子計算機名詞】

polymorphic lambda-calculus 多態性λ微積分 【電子計算機名詞】

Lambda Prolog Lambda Prolog 程式語言 【電子計算機名詞】

lambda shock lambda 型震波 【機械工程】

shock; lambda lambda型震波 【航空太空名詞】

lambda shock λ型震波 【力學名詞辭典】

calculus of variations 變分法 【資訊與通信術語辭典】

Boolean calculus 布林演算 【資訊與通信術語辭典】

second order predicate calculus 第二階述詞演算 【資訊與通信術語辭典】

sentential calculus 句演算 【資訊與通信術語辭典】

unary predicate calculus 單述詞演算 【資訊與通信術語辭典】

tuple calculus 元組演算 【資訊與通信術語辭典】

propositional calculus 命題演算 【資訊與通信術語辭典】

relational calculus 關連式計算 【資訊與通信術語辭典】