Computational Thinking 프로그래밍과 논리 / 수학

삼성의 SW Expert Academy에서 강의 학습을 통해 알고리즘 공부를 진행한다.

학습 추천 순서대로 Computational Thinking > Programming - Beginner > Intermediate > Advanced > Professional

순으로 진행할 예정. 정보처리기사랑 병행중인데 기사시험을 우선할 예정이기에 어떻게 될지 잘 모르겠다.

 

1. 논리와 증명

프로그래밍은 Hard Logic을 사용

 1) 논리

  1))or, ∨, 논리합 : 명제 p, q에 대해 둘 중 하나만 참이여도 참

     P  Q  P or Q

     T  T      T

     T  F      T

     F  T      T

     F  F      F

  2))and, ∧, 논리곱 :  명제 p, q에 대해 둘 다 참이어야 참

     P  Q  P and Q

     T  T      T

     T  F      F

     F  T      F

     F  F      F

  3))조건문 :  명제 p, q에 대해 p가 참이고 q가 거짓일 때만 거짓

     P  Q  P → Q

     T  T      T

     T  F      F

     F  T      T

     F  F      T

# 중고등학교때 배웠던 명제랑은 다른 것 같다. 조건문이 난해함.

 

 2) 증명

  수학적귀납법 기본형 : P(1)이 참이고 P(n) → P(n+1)이 참이면 P(n)은 모든 자연수 n에 대해서 참이다.

  수학적귀납법 강화형 : P(1)이 참이고 P(1)∧P(2)∧....P(n) → P(n+1)이 참이면 P(n)은 모든 자연수 n에 대해서 참이다.

 

그냥 보기만하는건 금방인데 정리하는게 오래걸리는거 같다. 조건문이 실생활에서랑 좀 다르게 해석되서 난해한데

'저건 저렇게 되나보다' 정도로 생각하면 될듯