摘要:原文: "Computer Scientist Tells Mathematicians How To Write Proofs" 对比一下下面两个证明哪个更好? 版本一: “A square and 10 roots are equal to 39 units. The question ther 阅读全文
posted @ 2018-07-01 02:01 ffl 阅读(352) 评论(0) 推荐(1) 编辑