形式證明
中 文 形式證明
英 文 formal proof
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 形式證明 | formal proof | 【電子計算機名詞】 |
| 形式證明；形式證法 | formal proof | 【數學名詞】 |
| 實施的形式說明 | formal explanation of implementation | 【電子計算機名詞】 |
| 形式宣告子 | formal declarer | 【電子計算機名詞】 |
| 圖同形性交談式證明系統 | graph isomorphism interactive proof system | 【電子計算機名詞】 |
| 機械式證明測試 | mechanical proof testing | 【電子計算機名詞】 |
| 零知識互動式證明系統 | zero-knowledge interactive proof system | 【電子計算機名詞】 |
| 滿足式證明 | satisfaction proof | 【電子計算機名詞】 |
| 知識交互式證明系統 | knowledge interactive proof system | 【電子計算機名詞】 |
| 平方殘餘交互式證明系統；二次剩餘交互式證明系統 | quadratic residue interactive proof system | 【電子計算機名詞】 |
| 非正式證明 | informal proof | 【電子計算機名詞】 |
| 交互式證明協定 | interactive proof protocol | 【電子計算機名詞】 |
| 交互式證明 | interactive proof | 【電子計算機名詞】 |
| 形式驗證 | formal verification | 【電子計算機名詞】 |
| 形式行為主義 | Formal Behaviorism | 【教育大辭書】 |
| 形式運思期 | Formal Operational Stage | 【教育大辭書】 |
| 形式訓練說 | Formal Discipline Theory | 【教育大辭書】 |
| 形式語言 | Formal Language | 【教育大辭書】 |
| 形式對象 | Formalobjekt | 【教育大辭書】 |
| 形式訓練 | Formal Discipline | 【教育大辭書】 |