形式化算法

中 文 形式化算法

英 文 formalized arithmetic

出 處 數學名詞-兩岸數學名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
形式化算法 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 【測量學】