形式體系化
中 文 形式體系化
英 文 formalization
出 處 數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 形式體系化 | formalization | 【數學名詞】 |
| 標準形式；標準化形式 | standard form | 【電子計算機名詞】 |
| 正規化形式；正規化型 | normalized form | 【數學名詞】 |
| 經典場論形式，經典論體系 | classical field formalism | 【電力工程】 |
| 體系；形式論 | formalism | 【核能名詞】 |
| 形式化 | Formalization | 【教育大辭書】 |
| 標準（化）形式 | standard form | 【資訊與通信術語辭典】 |
| 格式化形式 | formatted form | 【資訊與通信術語辭典】 |
| 形式系統 | formal system | 【資訊與通信術語辭典】 |
| 正常化形式 | normalized form | 【電機工程】 |
| 簡化形式；簡表 | abbreviated form | 【電子計算機名詞】 |
| 標準化形式用於浮點表示中 | normalized form in a floating point | 【電子計算機名詞】 |
| 標準化形式（用於浮點表示中） | normalized form (in a floating-point representation) | 【電子計算機名詞】 |
| 格式化形式 | formatted form | 【電子計算機名詞】 |
| 形式化計算機程式 | formalized computer program | 【電子計算機名詞】 |
| 形式化計算機 | formalized computer | 【電子計算機名詞】 |
| 形式化 | formalize | 【電子計算機名詞】 |
| 需求形式化 | formalization of requirement | 【電子計算機名詞】 |
| 形式系統 | formal system | 【電子計算機名詞】 |
| 系統特性的形式模型 | formal model of system behavior | 【電子計算機名詞】 |