[알고리즘]프로그래밍과 논리

1. 대부분의 프로그래밍은 논리학에 출발.
2. 일상 생활의 문제를 논리학적 관점에서 명제로 도출하고 증명하는 연습이 중요
3. 증명 에 관한 방법
   가정이 거짓이면, 전체가 참이다 / 결론이 참이면 전체가 참이다
4. 수학적 귀납법
   P(1) 이 참 이고, P(n) -> P(n+1) 이면 모든 자연수 n에 대해 P(n)은 참이다
   P(1) 이 참이고 P(2)도 참이고.. P(n) 까지 참일때 P(n+1)도 참이면 자연수 n에 대해 P(n)은 참이다

문제에서 명제를 도출하고 증명하는 연습이 중요.