形式演算
中 文 形式演算
英 文 formal calculus
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 形式演算 | formal calculus | 【電子計算機名詞】 |
| 安全關連式演算陳式 | safe relational calculus expression | 【電子計算機名詞】 |
| 形式化算法 | formalized arithmetic | 【數學名詞-兩岸數學名詞 】 |
| 形式化算法 | formalized arithmetic | 【數學名詞】 |
| 形式演釋 | formal deduction | 【數學名詞】 |
| 算術資料編碼形式 | coded form of arithmetic data | 【電子計算機名詞】 |
| Zhu-Takaoka 演算式 | Zhu-Takaoka | 【電子計算機名詞】 |
| Zeller 同餘演算式；蔡勒公式 | Zeller's congruence | 【電子計算機名詞】 |
| 具型式之 λ 演算 | typed lambda-calculus | 【電子計算機名詞】 |
| 形式化計算機程式 | formalized computer program | 【電子計算機名詞】 |
| 形式化計算機 | formalized computer | 【電子計算機名詞】 |
| 形式語法剖析算法 | formal parsing algorithm | 【電子計算機名詞】 |
| 演化式計算；進化式計算 | evolutionary computing | 【電子計算機名詞】 |
| 演算常式 | algorithmic routine | 【電機工程】 |
| 演算常式 | algorithmic routine | 【電力工程】 |
| 阻力係數演算式 | drag coefficient algorithm | 【海洋科學名詞-水下工程】 |
| 形式伴隨算子 | formal adjoint operator | 【數學名詞-兩岸數學名詞 】 |
| 形式伴隨算子 | formal adjoint operator | 【數學名詞】 |
| 有效資料型式和演算法的程式庫 | Library of Efficient Data types and Algorithms | 【電子計算機名詞】 |
| 形式行為主義 | Formal Behaviorism | 【教育大辭書】 |