sentential calculus

英 文 sentential calculus

中 文 句演算

出 處 資訊與通信術語辭典

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

sentential calculus 句演算 【電子計算機名詞】

sentential calculus 語句演算 【數學名詞】

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

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

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

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

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

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

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

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

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

first order predicate calculus 一階述詞演算 【資訊與通信術語辭典】

higher order predicate calculus 較高階述詞演算 【資訊與通信術語辭典】

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

Network Calculus 網路微積分 【電子工程】

variation calculus 變分法；變分學 【電機工程】

calculus of variation 變分學；變分法 【電機工程】

calculus of proposition 命題演算 【電機工程】

calculus of fluxion 微積分 【電機工程】