形式公理學
中 文 形式公理學
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 形式公理學 | formal axiomatics | 【電子計算機名詞】 |
| 非形式公理學 | informal axiomatics | 【電子計算機名詞】 |
| 非形式公設學；非形式公理學 | informal axiomatics | 【數學名詞-兩岸數學名詞 】 |
| 形式公設學；形式公理學 | formal axiomatics | 【數學名詞】 |
| 非形式公設學；非形式公理學 | informal axiomatics | 【數學名詞】 |
| 形式推理 | formal inference | 【數學名詞】 |
| 迴轉操作形式管理 | turning operating mode management | 【海事】 |
| 倒航操作形式管理 | astern running operating mode management | 【海事】 |
| 形式語言學 | formal linguistics | 【電子計算機名詞】 |
| 形式社會學 | formal sociology | 【社會學名詞】 |
| 形式人口學 | formal demography | 【社會學名詞】 |
| 公設法；公理學 | axiomatics | 【數學名詞-兩岸數學名詞 】 |
| 形式代數[學] | formal algebra | 【數學名詞】 |
| 公設法；公理學 | axiomatics | 【數學名詞】 |
| 形態生理學 | morphophysiology | 【實驗動物及比較醫學名詞】 |
| 形態物理學 | morphophysics | 【生物學名詞-植物】 |
| 符號學；符號語言學；形式語言理論 | semiotics | 【電機工程】 |
| 形式語言理論 | formal language theory | 【資訊與通信術語辭典】 |
| 網路公用資料形式 | network common data form | 【電子計算機名詞】 |
| 形式理論 | formal theory | 【電子計算機名詞】 |
▸ 英文翻譯