證明論
中 文 證明論
英 文 proof theory
出 處 數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 證明；論證；實地說明；表演示範 | demonstration | 【電機工程】 |
| 證明，論證，實地說明，表演示範 | demonstration | 【電力工程】 |
| 證明論 | proof theory | 【數學名詞】 |
| 證明理論 | proof theory | 【資訊與通信術語辭典】 |
| 證明理論 | proof theory | 【電子計算機名詞】 |
| 討論，議論，辯論，說服，證明 | argue | 【電力工程】 |
| 證明 | Confirmation | 【教育大辭書】 |
| 機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
| 零證明 | zero proof | 【資訊與通信術語辭典】 |
| 分解證明樹 | resolution proof tree | 【資訊與通信術語辭典】 |
| 分解證明圖 | resolution proof graph | 【資訊與通信術語辭典】 |
| 來源證明之不可否認性；具來源證明不可否認性 | non-repudiation with proof of origin | 【電子工程】 |
| 具投遞送達證明之不可否認性 | non-repudiation with proof of delivery | 【電子工程】 |
| 證明書 | testimonial | 【電機工程】 |
| 證明；表明 | testify | 【電機工程】 |
| 試驗證明書 | test certificate | 【電機工程】 |
| 死亡證明由 | Death Certified By | 【電子工程】 |
| 證明日期／時間 | Date/Time of Attestation | 【電子工程】 |
| 符合性證明 | Certificates of conformance | 【電子工程】 |
| 正確性證明 | correctness proving | 【電子工程】 |