프로그래밍과 수학 프로그래밍과 수학

공집합이 아닌 양의 정수의 모든 집합은 최소 원소를 갖는다.Every Non Empty set of positive integers has a least element 이는 매우 당연해 보이나 많은 결과들을 증명하는데 큰 역할을 한다. EXAMPLE 1) 가 무리수임을 증명하여라 이를 보이기 전에 하나 정의를 보고 가자. Rational & Irrational만약 r = p/q 를 만족하는 정수 p 와 q(!=0) 이 존재할 때 r을 Rational이라고 한다.r이 Rational이 아니면 Irrational이라고 부른다. 그럼 다시 예제로 돌아가, 를 Rational 이라고 가정해보자. 그러면 = b/a를 만족하는 양의정수 b와 a가 존재한다. 이와 같이 The Well Ordering Property..

Elementary Number Theory, 6/E 저자 : Kenneth H. Rosen http://book.naver.com/bookdb/book_detail.nhn?bid=9577010 예제가 많고 설명도 깔끔하여 혼자 보기에도 무리가 없게 쉽게 쓰여진 책.저자가 컴퓨터 쪽에 몸담던 사람이라 각 chapter 연습문제마다 Programming project라는 항목이 있어 더 좋은 책이다.정수론이라는 분야가 컴퓨터과학쪽에 어떻게 쓰이고 있는지 알 수 있으며 컴퓨터 뿐만 아니라 정수론 그자체로도 무리없이 공부할 수 있다.