定理证明
dìnglǐ zhèngmíng
доказательство теорем
theorem proving
примеры:
证明定理
доказывать теорему
定理的机器证明
mechanical theorem proving
在它只是假设的意义上来讲,任何物理理论总是临时性的:你永远不可能将它证明。
Любая физическая теория всегда носит временный характер в том смысле, что является всего лишь гипотезой, которую вы никогда не сможете доказать.
пословный:
定理 | 理证 | 证明 | |
1) незыблемая истина, непреложный закон, аксиома
2) мат. теорема
3) определённое правило
|
1) доказывать, удостоверять, свидетельствовать; свидетельствующий, удостоверяющий
2) быть надлежаще засвидетельствованным (удостоверенным); доказанный, удостоверенный
3) свидетельство, доказательство, справка
|
похожие:
质理证明
否定证明
鉴定证明
定量证明
肯定证明
论证定理
公理证明
证明定理
三明治定理
鉴定证明书
证明的定义
定理验证明
理舱证明书
明格尔定理
理货证明书
证明一项定理
机器理论证明
公理证明方法
证明自己有理
机械证明定理
公理证明规则
自动定理证明
归结定理证明
机器定理证明
解析定理证明
定理机器证明
产地否定证明
代理店的证明
鉴定人证明书
办理证明书手续
仓库管理人证明
有限性证明理论
品质鉴定证明书
重量签定证明书
重量鉴定证明书
船舶鉴定证明书
限定查帐证明书
种子鉴定证明书
自动定理证明研究
码头管理人证明书
认定发明证书无效
遗产管理人的证明
证明理论的正确性
超过合理怀疑的证明
法定代表人身份证明书
基本逻辑理论证明程序
归结定理证明, 消解式定理证明
勘查报告, 调查报告鉴定证明书