一元謂詞演算
中 文 一元謂詞演算
英 文 monadic predicate calculus
出 處 數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 一元謂詞演算 | monadic predicate calculus | 【數學名詞】 |
| 一階述詞演算 | first order predicate calculus | 【資訊與通信術語辭典】 |
| 第一階述詞演算 | first order predicate calculus{=FOPC} | 【電子計算機名詞】 |
| 一元布林運算子 | unary Boolean operator | 【資訊與通信術語辭典】 |
| 一元布林運算 | monadic Boolean operation | 【資訊與通信術語辭典】 |
| 一元布林運算子 | unary Boolean operator | 【電子計算機名詞】 |
| 一元布林運算子符 | monadic Boolean operator | 【電子計算機名詞】 |
| 一元布林運算 | monadic Boolean operation | 【電子計算機名詞】 |
| 一階泛函演算 | first order functional calculus | 【數學名詞】 |
| 單元洪水演算 | Routing, single | 【水利工程】 |
| 謂詞演算 | predicate calculus | 【數學名詞-兩岸數學名詞 】 |
| 多種類謂詞演算 | many-sorted predicate calculus | 【數學名詞-兩岸數學名詞 】 |
| 多種類謂詞演算 | many-sorted predicate calculus | 【數學名詞】 |
| 謂詞演算 | predicate calculus | 【數學名詞】 |
| 狹謂詞演算 | restricted predicate calculus | 【數學名詞】 |
| 廣義謂詞演算 | extended predicate calculus | 【數學名詞】 |
| 第二階述詞演算 | second order predicate calculus | 【資訊與通信術語辭典】 |
| 單述詞演算 | unary predicate calculus | 【資訊與通信術語辭典】 |
| 較高階述詞演算 | higher order predicate calculus | 【資訊與通信術語辭典】 |
| 述詞演算 | predicate calculus | 【資訊與通信術語辭典】 |
▸ 英文翻譯