定理验证明
_
theorem proving
theorem proving
пословный:
定理 | 验证 | 证明 | |
1) незыблемая истина, непреложный закон, аксиома
2) мат. теорема
3) определённое правило
|
1) осмотреть, освидетельствовать, проверять подлинность
2) доказательство
3) валидация
|
1) свидетельствовать, доказывать, удостоверять; свидетельствующий, удостоверяющий
2) быть надлежаще засвидетельствованным (удостоверенным); доказанный, удостоверенный
3) свидетельство, доказательство
|