무야뭐야 무야뭐야

링크 lex 1.1.2 Intro to Proofs : Part 1 증명: - 증명하는 방법을 암기하지는 않는다, 하지만 그 과정을 이끌어 낼수 있으므로서 디버깅을 할 수 있다. - 증거에 일부는 버그에 빠져있을 수 있다. lec 1.1.3 Intro to Proofs : Part 2 1, Be sure rules are properly applied. 규칙이 올바르게 적용하고 있는지 확인해야한다. 2.Thoughtless calculation no substitute for understanding. 생각 없는 계산은 이해를 위한 대안이 아니다. lec 1.2.1 Proof by contradiction(모순에 의한 증명) If an assertion implies something false, the..