類演算

中 文 類演算

英 文 calculus of classes

出 處 數學名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
類演算 calculus of classes 【數學名詞】
多種類謂詞演算 many-sorted predicate calculus 【數學名詞-兩岸數學名詞 】
多種類謂詞演算 many-sorted predicate calculus 【數學名詞】
水庫演算 reservoir routing 【力學名詞辭典】
瀦蓄演算 storage routing 【力學名詞辭典】
水文演算 hydrologic routing 【力學名詞辭典】
水理演算 hydraulic routing 【力學名詞辭典】
布林演算 Boolean calculus 【資訊與通信術語辭典】
第二階述詞演算 second order predicate calculus 【資訊與通信術語辭典】
句演算 sentential calculus 【資訊與通信術語辭典】
單述詞演算 unary predicate calculus 【資訊與通信術語辭典】
元組演算 tuple calculus 【資訊與通信術語辭典】
λ演算 lambda calculus 【資訊與通信術語辭典】
命題演算 propositional calculus 【資訊與通信術語辭典】
一階述詞演算 first order predicate calculus 【資訊與通信術語辭典】
較高階述詞演算 higher order predicate calculus 【資訊與通信術語辭典】
述詞演算 predicate calculus 【資訊與通信術語辭典】
演算語言 algorithmic language 【電子工程】
演算理論 Algorithm theory 【電子工程】
演算最佳化 Algorithm optimization 【電子工程】