述詞變數
中 文 述詞變數
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 述詞變數 | predicate variable | 【電子計算機名詞】 |
| 半述詞函數 | semi-predicate function | 【電子計算機名詞】 |
| 述詞 / 變遷系統 | predicate/transition system | 【電子計算機名詞】 |
| 謂詞變數 | predicate variable | 【數學名詞-兩岸數學名詞 】 |
| 謂詞變數 | predicate variable | 【數學名詞】 |
| 暫時變數描述 | temporary variable description | 【電子計算機名詞】 |
| 述詞邏輯 | Predicate Logic | 【教育大辭書】 |
| 前述詞 | Antecedent | 【教育大辭書】 |
| 零位述詞 | zero place predicate | 【資訊與通信術語辭典】 |
| 第二階述詞演算 | second order predicate calculus | 【資訊與通信術語辭典】 |
| 單述詞演算 | unary predicate calculus | 【資訊與通信術語辭典】 |
| r進述詞 | r-ary predicate | 【資訊與通信術語辭典】 |
| 可算述詞 | computable predicate | 【資訊與通信術語辭典】 |
| 複合述詞 | compound predicate | 【資訊與通信術語辭典】 |
| 一階述詞演算 | first order predicate calculus | 【資訊與通信術語辭典】 |
| 較高階述詞演算 | higher order predicate calculus | 【資訊與通信術語辭典】 |
| 述詞邏輯 | predicate logic | 【資訊與通信術語辭典】 |
| 述詞字母 | predicate letter | 【資訊與通信術語辭典】 |
| 述詞演算 | predicate calculus | 【資訊與通信術語辭典】 |
| 述詞 | predicate | 【資訊與通信術語辭典】 |