pure lambda-calculus

英文 pure lambda-calculus

出處電子計算機名詞

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

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

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

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

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

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

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

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

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

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

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

Pure 純粹【教育大辭書】

pure torsion 純扭矩【力學名詞辭典】

pure spectrum 真實頻譜【力學名詞辭典】

pure shear 純剪【力學名詞辭典】

pure bending 純彎曲【力學名詞辭典】

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

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

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

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