informal proof

informal proof 基本解释

网络  非形式证明; 非正式证明

计算机

重点词汇

• informala. 非正式的, 不拘礼的, 通俗的 [经] 非正式的, 日常使用的
• proofn. 证据, 证明, 试验, 检验, 考验 a. 不能透入的, 证明用的, 防...的, 耐...的 vt. 检验, 试验, 校对, 使不被穿透 [计] 审稿

informal proof 双语例句

1. 1、 Since we are doing an informal proof, I will not name the axioms we are using nor will I attempt to prove the intermediate theorems used to make the proof work.
   由于我们在进行不正式的证明，所以我不会为所使用的公理命名，也不会尝试去证明那些用来令证明有效的中间定理。
2. 2、 Aiming at the high rate issue the small businesses meet in informal finance, this paper makes a strict proof with basic approach and method in modern economics, including phenomenon observe, basic hypothesis, model establishment and inference.
   针对我国部分小企业所涉足的高利率民间借贷问题，本文按照现代经济学解释经济现象的基本思路和方法&现象观察、基本假设、建模与推导以及结论等，对之进行严格论证。