λ演算

中 文 λ演算

英 文 λ-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 【電子工程】