정의
-
[이산수학 - 3강] 증명Knowledge/Math 2020. 5. 20. 22:49
한국방송통신대학교 이산수학 강의 3강을 듣고 공부한 내용을 정리한 포스팅입니다. 3강의 학습목표 다양한 증명방법의 종류를 이해하고 때에 따라 적절한 증명방법을 선택할 수 있다. 기본단계와 귀납가정을 설계하고 귀답단계를 통해 주어진 명제가 타당함을 증명할 수 있다. 직접적으로 명제를 증명하기 어려울 때는 증명하기 쉬운 형태로 주어진 명제를 변경할 수 있다. 전수증명, 조합적 증명법, 컴퓨터를 이용한 증명방법을 이해하고 상황에 따라 증명방법을 사용할 수 있다. - 증명의 기본 증명은 어떤 사실의 타당성을 입증하기 위해 사용된다. 주로 "P이면 Q이다", 즉 '전제가 참이면 결론도 참' 이라는 형식을 따르게 되는데 이때 전제로 사용되는 P가 참임을 증명하기 위해서는 다른 전제의 도움이 필요하다. 이렇게 계속 ..
-
TDD 실천법과 도구 - TDD ( Test Driven Development )Knowledge/TDD 2019. 10. 15. 16:02
이 포스팅은 아래 링크에서 확인할 수 있는 "TDD 실천법과 도구" 책을 읽고 정리한 내용입니다. "TDD 실천법과 도구" 책 전체를 PDF 공개합니다. 2010년 6월에 출간되었던 "TDD 실천법과 도구" 책 전체를 PDF로 공개합니다. 책소개: http://naver.me/GaYZCDjD Updated --- - [1장 - 테스트주도개발 Test Driven Development](https://repo.yona.io/doortts/blog/issue/2) - 18.07.18 - [2장 - doortts/blog repo.yona.io TDD의 정의 TDD는 제품 코드를 작성하기 전에 테스트 코드를 먼저 만드는 것이다 TDD의 목표 잘 동작하는 깔끔한 코드를 만들기 위해 사용한다 개발에 있어 TDD의..