形式化算法
中 文 形式化算法
出 處 數學名詞-兩岸數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 形式化算法 | formalized arithmetic | 【數學名詞-兩岸數學名詞 】 |
| 形式化算法 | formalized arithmetic | 【數學名詞】 |
| 形式化計算機程式 | formalized computer program | 【電子計算機名詞】 |
| 形式化計算機 | formalized computer | 【電子計算機名詞】 |
| 形式化 | Formalization | 【教育大辭書】 |
| 公式預算法 | Formula Budgeting | 【圖書館學與資訊科學大辭典】 |
| 平面化算法 | planarization algorithm | 【資訊與通信術語辭典】 |
| 集中化算法 | centralized algorithm | 【電機工程】 |
| 集中化算法 | centralized algorithm | 【電子計算機名詞】 |
| 機械化算法 | mechanization algorithm | 【電子計算機名詞】 |
| 最佳化算法 | optimization algorithm | 【電子計算機名詞】 |
| 平面化算法 | planarization algorithm | 【電子計算機名詞】 |
| 形式化 | formalize | 【電子計算機名詞】 |
| 需求形式化 | formalization of requirement | 【電子計算機名詞】 |
| 形式演算 | formal calculus | 【電子計算機名詞】 |
| 公式預算法 | formula budgeting | 【圖書館學與資訊科學名詞】 |
| 形式化 | formalization | 【行政學名詞】 |
| 集中化算法 | centralized algorithm | 【電力工程】 |
| 形式積分[法] | formal integration | 【數學名詞】 |
| 紹南化算法 | Shoran reduction | 【測量學】 |