形式推理
中 文 形式推理
英 文 formal inference
出 處 數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 形式推理 | formal inference | 【數學名詞】 |
| 型式推理 | type inference | 【資訊與通信術語辭典】 |
| 案例式推理 | Case-Based Reasoning | 【電機工程】 |
| 案例式推理 | Case-Based Reasoning{=CBR} | 【電子工程】 |
| 形狀推理 | shape reasoning | 【電子計算機名詞】 |
| 型式推理 | type inference | 【電子計算機名詞】 |
| 形式推導 | formal deduction | 【電子計算機名詞】 |
| 形式公理學 | formal axiomatics | 【電子計算機名詞】 |
| 非形式公理學 | informal axiomatics | 【電子計算機名詞】 |
| 橫跨式推理 | transduction | 【教育學名詞-幼教名詞】 |
| 直覺式推理 | transductive reasoning | 【心理學名詞】 |
| 非形式公設學；非形式公理學 | informal axiomatics | 【數學名詞-兩岸數學名詞 】 |
| 預設因果式推理 | precausal reasoning | 【心理學名詞】 |
| 形式推導 | formal derivation | 【數學名詞】 |
| 形式公設學；形式公理學 | formal axiomatics | 【數學名詞】 |
| 非形式公設學；非形式公理學 | informal axiomatics | 【數學名詞】 |
| 推論式推理分析 | inferential reasoning analysis | 【教育學名詞-科教名詞】 |
| 迴轉操作形式管理 | turning operating mode management | 【海事】 |
| 倒航操作形式管理 | astern running operating mode management | 【海事】 |
| 邏輯斯諦方程式；推理方程式 | logistic equation | 【生命科學名詞】 |