邏輯演算
中 文 邏輯演算
英 文 logical calculus
出 處 數學名詞
相關詞匯
中文詞彙 | 英文翻譯 | 出處/學術領域 |
---|---|---|
邏輯演算 | logic calculus | 【電子計算機名詞】 |
邏輯演算 | logical calculus | 【數學名詞-兩岸數學名詞 】 |
邏輯演算 | logical calculus | 【數學名詞】 |
述詞演算邏輯 | predicate calculus logic | 【電子計算機名詞】 |
水庫演算 | 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 | 【電子工程】 |