述詞邏輯
中 文 述詞邏輯
英 文 predicate logic
出 處 資訊與通信術語辭典
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 述詞邏輯 | Predicate Logic | 【教育大辭書】 |
| 述詞邏輯 | predicate logic | 【資訊與通信術語辭典】 |
| 述詞邏輯 | predicate logic | 【電子計算機名詞】 |
| 一階述詞邏輯 | first order predicate logic | 【電子計算機名詞】 |
| 述詞演算邏輯 | predicate calculus logic | 【電子計算機名詞】 |
| 邏輯IF敘述 | logical IF statement | 【資訊與通信術語辭典】 |
| 邏輯欄描述符 | logical field descriptor | 【資訊與通信術語辭典】 |
| 邏輯資料庫描述 | logical database description | 【資訊與通信術語辭典】 |
| 邏輯賦值敘述 | logic assignment statement | 【資訊與通信術語辭典】 |
| 邏輯資料庫描述 | logical database description | 【電子計算機名詞】 |
| 邏輯賦值敘述 | logical assignment statement | 【電子計算機名詞】 |
| 邏輯單元描述 | logical unit description{=LUD} | 【電子計算機名詞】 |
| 邏輯敘述 | logical statement | 【電子計算機名詞】 |
| 邏輯IF敘述 | logical IF statement | 【電子計算機名詞】 |
| 邏輯欄描述符 | logical field descriptor | 【電子計算機名詞】 |
| 邏輯描述符 | logical descriptor | 【電子計算機名詞】 |
| 實體邏輯描述 | physical logic description{=PLD} | 【電子計算機名詞】 |
| 總體邏輯資料庫描述 | global logical database description | 【電子計算機名詞】 |
| 前述詞 | Antecedent | 【教育大辭書】 |
| 零位述詞 | zero place predicate | 【資訊與通信術語辭典】 |