假述詞
中 文 假述詞
英 文 false predicate
出 處 電子計算機名詞
相關詞匯
中文詞彙 | 英文翻譯 | 出處/學術領域 |
---|---|---|
假述詞 | false predicate | 【電子計算機名詞】 |
述詞邏輯 | 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 | 【資訊與通信術語辭典】 |
n位述詞 | n-place predicate | 【資訊與通信術語辭典】 |
n元述詞 | n-adic predicate | 【資訊與通信術語辭典】 |
述詞 | predicate | 【電子工程】 |
通道述詞 | channel predicate | 【電子計算機名詞】 |
算術述詞 | arithmetical predicate | 【電子計算機名詞】 |