6.042J

反证法 间接证明(indirect proof): 反证法:proof by contradiction.需要假定需要证明的命题为假，然后推出一个矛盾，从而证明不可能为假 等等 反证法的例子：证明$\

定义：mathematical proof(数学证明)is a verfication(验证) of proposition(定理) by a chian of logical deductions(

这部分学过了而且比较简单，我就直接看中文翻译了. https://finit-xu.gitbook.io/msc20180606/i-proofs/1-what-is-a-proof 1.1 命题(p

这是学习MIT 6.042J (计算机科学的数学) 课程的开坑BLOG，学这个主要的目的是为之后学算法导论做准备