演繹證明
中 文 演繹證明
英 文 deductive proof
出 處 數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 演繹證明 | deductive proof | 【數學名詞】 |
| 表演區照明 | ACTING AREA LIGHTING | 【舞蹈名詞】 |
| 證明；論證；實地說明；表演示範 | demonstration | 【電機工程】 |
| 證明，論證，實地說明，表演示範 | demonstration | 【電力工程】 |
| 偽造演算法證明 | proof of forgery algorithm | 【電子計算機名詞】 |
| 演繹－律則模式 | Deductive-Nomological Model, D-N Model | 【教育大辭書】 |
| 演繹推理 | Deductive Reasoning | 【教育大辭書】 |
| 演繹法 | Deductive Method | 【教育大辭書】 |
| 演繹 | Deduction | 【教育大辭書】 |
| 假設演繹推理 | Hypothetico-Deductive Reasoning | 【教育大辭書】 |
| 假設演繹思考 | Hypothetical-Deductive Thought | 【教育大辭書】 |
| 假說演繹法 | Hypothetical Deductive Method | 【教育大辭書】 |
| 證明 | Confirmation | 【教育大辭書】 |
| 演繹法 | deductive method | 【圖書館學與資訊科學大辭典】 |
| 機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
| 零證明 | zero proof | 【資訊與通信術語辭典】 |
| 證明理論 | proof theory | 【資訊與通信術語辭典】 |
| 基於規則演繹系統 | rule based deduction system | 【資訊與通信術語辭典】 |
| 分解證明樹 | resolution proof tree | 【資訊與通信術語辭典】 |
| 分解證明圖 | resolution proof graph | 【資訊與通信術語辭典】 |