一階泛函演算
中 文 一階泛函演算
英 文 first order functional calculus
出 處 數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 一階泛函演算 | first order functional calculus | 【數學名詞】 |
| 一階述詞演算 | first order predicate calculus | 【資訊與通信術語辭典】 |
| 第一階述詞演算 | first order predicate calculus{=FOPC} | 【電子計算機名詞】 |
| 一元謂詞演算 | monadic predicate calculus | 【數學名詞】 |
| 第二階述詞演算 | second order predicate calculus | 【資訊與通信術語辭典】 |
| 較高階述詞演算 | higher order predicate calculus | 【資訊與通信術語辭典】 |
| 第二階述詞演算 | second predicate calculus | 【電子計算機名詞】 |
| 第二階述詞演算 | second order predicate calculus | 【電子計算機名詞】 |
| 較高階述詞演算 | higher order predicate calculus | 【電子計算機名詞】 |
| 高階述詞演算 | high order predicate calculus | 【電子計算機名詞】 |
| 一個半[的]線性泛函 | sesquilinear functional | 【數學名詞-兩岸數學名詞 】 |
| 一個半[的]線性泛函 | sesquilinear functional | 【數學名詞】 |
| 遞迴函數演算法語言 | Recursive Functional Algorithmic Language | 【電子計算機名詞】 |
| 懲罰函數演算法 | penalty function algorithm | 【數學名詞】 |
| 水庫演算 | reservoir routing | 【力學名詞辭典】 |
| 瑞聖納泛函數 | Reissner functional | 【力學名詞辭典】 |
| 瀦蓄演算 | storage routing | 【力學名詞辭典】 |
| 水文演算 | hydrologic routing | 【力學名詞辭典】 |
| 水理演算 | hydraulic routing | 【力學名詞辭典】 |
| 布林演算 | Boolean calculus | 【資訊與通信術語辭典】 |