“매력적으로 저술되고, 그리고 명료하고 대단히 자세하게 많은 증명 기술들을 다루고 있다. 이 책은 내가 학생들에게 추천한 자료들의 한 위대한 추가 자료가 될 것이다.”
Steven J. Miller, Dept. of Mathematics, Williams College
“수학적 증명들을 어떻게 할 것인지 어려워하는 학생들을 위한 나의 대단히 믿음직한 자료이다.”
Rafael Frongillo, Dept. of Computer Science, University of Colorado-Boulder
“나는 이 책을 지난 8년 동안 진지하게 이용해왔다. 그것은 증명 쓰기의 한 강력한 기반을 이룩하였다 나는 이 책을 계속 이용할 것이고 모든사람들, 교수들과 학생들 모두에게 추천한다.”
Mihai Bailesteanu, Dept. of Mathematical Sciences, Central Connecticut State University
증명들은 고급수학들과 컴퓨터 과학 이론에 핵심적인 역할을 한다, 그렇지만 많은 학생들은 처음에 증명들이 중요한 역할을 하는 과목을 이수하는데 힘들어한다. 베스트 셀러 교재인 3판은 그들에게 증명들을 읽고 쓰는데 필요한 기술들을 가르쳐서 학생들이 문제 푸는 것으로부터 정리들을 증명하는 것으로 변화시키도록 도와줄 것이다.
150개 넘는 새로운 연습문제들과 수론에 대한 한 새로운 장을 포함하는, 이 증보 판에서 학생들에게 증명들의 숙달을 통해서 고급수학의 세상을 소개한다. 이 책은 수학적인 용어에 익숙해지고 그것들이 어떻게 해석하는지에 관한 논리의 기본개념과 집합론으로 시작한다. 이런 개념들은 단계적으로 복잡한 증명들을 해나가는데 사용될 수 있는 분석 기술에 대한 기초로 사용되고, 수들, 집합들, 관계들, 그리고 함수들에 대한 증명들의 절차를 노출 시키는 “메모작업 scratch work"부분에서 상세하게 사용된다.
보통 고등학교 수학을 넘는 배경지식이 없어도, 이 책은 논리와 증명들에 관심이 있는 모든 사람들: 컴퓨터 과학자들, 철학자들, 언어학자들, 그리고 물론, 수학자들에게 유용하게 사용될 것이다.
· 증명들을 소개하는 과목, 또는 이산수학 과목의 보조 책으로, 또는 컴퓨팅의 기초 과목으로 자기주도학습 하기에 완벽하다.
· 복잡한 증명을 구성하는데 다양한 기술들이 어떻게 체계적으로 철저하게 결합되는지를 보여준다.
· 논리, 집합론, 관계들, 함수들, 그리고 집합의 원소 개수 세기 등을 다룬다