一階述詞邏輯
中 文 一階述詞邏輯
英 文 first order predicate logic
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 一階述詞邏輯 | first order predicate logic | 【電子計算機名詞】 |
| 一階述詞演算 | first order predicate calculus | 【資訊與通信術語辭典】 |
| 第一階述詞演算 | first order predicate calculus{=FOPC} | 【電子計算機名詞】 |
| 一階述詞 | first order predicate | 【電子計算機名詞】 |
| 统一描述、發現和整合 | Universal Description, Discovery and Integration (UDDI) | 【管理學名詞】 |
| 述詞邏輯 | Predicate Logic | 【教育大辭書】 |
| 述詞邏輯 | predicate logic | 【資訊與通信術語辭典】 |
| 述詞邏輯 | predicate logic | 【電子計算機名詞】 |
| 第二階述詞演算 | second order predicate calculus | 【資訊與通信術語辭典】 |
| 較高階述詞演算 | higher order predicate calculus | 【資訊與通信術語辭典】 |
| 一步大數邏輯譯碼 | one-step majority-logic decoding | 【電機工程】 |
| 第二階述詞演算 | second predicate calculus | 【電子計算機名詞】 |
| 第二階述詞演算 | second order predicate calculus | 【電子計算機名詞】 |
| 一級動態邏輯 | first order dynamic logic | 【電子計算機名詞】 |
| 較高階述詞演算 | higher order predicate calculus | 【電子計算機名詞】 |
| 高階述詞演算 | high order predicate calculus | 【電子計算機名詞】 |
| 拉米邏輯電路，一種磁心邏輯電路 | Ramey circuit | 【電力工程】 |
| 一步大數邏輯譯碼 | one-step majority-logic decoding | 【電力工程】 |
| 階層式邏輯高位準 | hierarchical logic high level | 【電子計算機名詞】 |
| 述詞演算邏輯 | predicate calculus logic | 【電子計算機名詞】 |