Blog
/ Academics & Research
Mathematics for Computer Science – “Top 10 Proof Techniques NOT Allowed” 6.042 has been a very engaging and entertaining class thus far.

with proof by omission.
3. Proof by vehement assertion: It is useful to ... reference: In reference A, Theorem 5 is said to follow from Theorem 3 in