formal proof中文翻译

formal proof

中文翻译

形式证明，形式证法

相关单词

formal
读音：['fɒ:mәl]
a.正式的，形式的，礼仪的，拘于礼节的，拘谨的
n.正式的社交活动
甲缩醛；甲醛缩二甲醇
福马尔，甲缩醛，甲醛缩二甲醇
正式的

proof
读音：[pru:f]
n.证据，证明，试验，检验，考验
a.不能透入的，证明用的，防...的，耐...的
vt.检验，试验，校对，使不被穿透
审稿
验证
不能透过的，证明
证据，检验，对证