[이산수학]논리란? 프로그래머가 논리적이어야 하는 이유

[이산수학]논리란? 프로그래머가 논리적이어야 하는 이유

 

컴퓨터는 감정이 없습니다. 그래서 전류의 높고, 낮음을 더 확장해서 논리적으로 표현해야 문제를 해결할 수 있습니다. 또한 다른 사람을 공감하고 협업할 때, 설득의 기반이 될 수 있는게 논리입니다. 따라서 프로그래머라면 논리적인 사고 방식을 키우기 위해서 노력해야합니다. 그 방법 중 하나가 수학을 배우는 것입니다. 

 

■ 논리적인 사고방식이란? (정의)

논리적인 사고방식은 다양하게 해석할 수 있는데 다음과 같은 정의로 요약할 수 있습니다. 

- 어떤 관찰 결과의 진리값(참/거짓)을 판단할 수 있는 능력

- 연결된 여러 참/거짓 변수들로부터 최종 진릿값을 판단할 수 있는 능력

- 양립할 수 없는 모순된 주장을 찾아낼 수 있는 능력

- 사실(fact) 또는 확률을 통해 어떤 주장의 옳고 그름을 판단할 수 있는 능력 

 

 

■ 논리의 규칙

- 수학적 의미

수학적 진술에 정확한 의미를 부여

수학적 주장의 유효성을 분별하는 데 사용

 

- 프로그래밍적 용도

컴퓨터 회로 설계

프로그램 작성

프로그램이 올바르게 동작하는지 검증(디버깅, 테스트 등0

그 외 다수 

 

규칙은 정의와 다릅니다. 규칙은 논리를 어떻게 적용할 것인지에 관한 방법론적 이야기입니다. 

 

포프의 소프트웨어 공학용 수학 No.91

 

 

 

-----------------------------------

이산수학 총정리

목록 보러가기 

-----------------------------------