形式公設學；形式公理學
中 文 形式公設學；形式公理學
出 處 數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 非形式公設學；非形式公理學 | informal axiomatics | 【數學名詞-兩岸數學名詞 】 |
| 形式公設學；形式公理學 | formal axiomatics | 【數學名詞】 |
| 非形式公設學；非形式公理學 | informal axiomatics | 【數學名詞】 |
| 形式公理學 | formal axiomatics | 【電子計算機名詞】 |
| 非形式公理學 | informal axiomatics | 【電子計算機名詞】 |
| 形式推理 | formal inference | 【數學名詞】 |
| 三角形公理 | triangle axiom | 【數學名詞】 |
| 迴轉操作形式管理 | turning operating mode management | 【海事】 |
| 倒航操作形式管理 | astern running operating mode management | 【海事】 |
| 公設法；公理學 | axiomatics | 【數學名詞-兩岸數學名詞 】 |
| 公設法；公理學 | axiomatics | 【數學名詞】 |
| 公理語意學 | axiomatic semantics | 【資訊與通信術語辭典】 |
| 公理語意學 | axiomatic semantics | 【電子計算機名詞】 |
| 科學分散式處理 | scientific distributed processing | 【電子計算機名詞】 |
| 分散式處理程式設計執行器 | distributed processing programming executive | 【電子計算機名詞】 |
| 平行公設；平行公理 | parallel axiom | 【人體解剖學】 |
| 平行公設；平行公理 | axiom of parallel | 【人體解剖學】 |
| 公理；公設 | axiom | 【人體解剖學】 |
| 平行公設；平行公理 | parallel axiom | 【兩岸對照名詞-數學】 |
| 歸納法公設；歸納法公理 | axiom of Induction | 【兩岸對照名詞-數學】 |
▸ 英文