Raniche's Note

데이터사이언스 분야에서 필요한 수학은 ​ 학부수준의 "해석학", "선형대수학", "미분방정식", "위상수학", "실해석학" ​ 으로 좁혀지는 것 같다. (물론 그 외에도 더 알면 좋긴하겠지만) ​ 학부때 수학과 과목을 좀 들어서, 해석학, 선형대수학, 미분방정식정도는 수업을 들은적이 있는데 지금은 사실 거의 기억이 나지 않는다 ㅠ 틈틈이 수학공부를 할려고 하는데 이게 쉽지가 않다. 계속 우선순위에서 밀리는 느낌이랄까? 항상 생각만...

수학에서 크게 세가지 증명 방법이 존재한다. 첫째, Mathematical induction, 즉 수학적 귀납법 둘째, Deductive proof, 즉 연역적 증명법 셋째, Proof by contradiction, 즉 귀류법이다. ​ 오늘 말하고자 하는건 귀류법이다 귀류법이란, p -> q 를 증명하기 위해서 p ∩~q →~p​ 임을 보이는 것이다. (~은 부정이란 의미이다.) 위 관계만 봐서는 좀 난해해 보이지만 아래의 p와 q간의 모든 관계를 표현한 네가지 벤다이어그램에서 위 관계를 만족하는 벤다이어그램 관계는 (4)밖에 없음을 확인할 수 있다. 즉, (4)는 q가 p를 포함하는 관계로, p->q 가 성립한다. ​ ​ 즉, 정리하면 귀류법이란 p -> q 를 보이기 위해 p ∩~q →~p​ 임을 ..