算術謂詞
中 文 算術謂詞
出 處 數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 算術謂詞 | arithmetic predicate | 【數學名詞】 |
| 算術述詞 | arithmetical predicate | 【電子計算機名詞】 |
| 算術動詞 | arithmetic verb | 【電子計算機名詞】 |
| 函數運算[法]；謂詞運算[法] | functional calculus | 【數學名詞-兩岸數學名詞 】 |
| 函數運算[法]；謂詞運算[法] | functional calculus | 【數學名詞】 |
| 謂詞演算 | predicate calculus | 【數學名詞-兩岸數學名詞 】 |
| 多種類謂詞演算 | many-sorted predicate calculus | 【數學名詞-兩岸數學名詞 】 |
| 一元謂詞演算 | monadic predicate calculus | 【數學名詞】 |
| 多種類謂詞演算 | many-sorted predicate calculus | 【數學名詞】 |
| 謂詞演算 | predicate calculus | 【數學名詞】 |
| 狹謂詞演算 | restricted predicate calculus | 【數學名詞】 |
| 廣義謂詞演算 | extended predicate calculus | 【數學名詞】 |
| 算術缺陷症 | Acalculia | 【教育大辭書】 |
| 算術推理 | Arithmetic Reasoning | 【教育大辭書】 |
| 具算術邏輯計算器；具算術邏輯之計算器 | calculator with arithmetic logic | 【資訊與通信術語辭典】 |
| 編碼算術資料 | coded arithmetic data | 【資訊與通信術語辭典】 |
| 二進制算術運算；二進運算 | binary arithmetic operation | 【資訊與通信術語辭典】 |
| 串列算術 | serial arithmetic | 【資訊與通信術語辭典】 |
| 有效位元算術 | significant digit arithmetic | 【資訊與通信術語辭典】 |
| 實數算術 | real arithmetic | 【資訊與通信術語辭典】 |