Key points are not available for this paper at this time.
증명은 고급 수학 및 이론 컴퓨터 과학에서 중앙 역할을 하지만, 많은 학생들이 증명이 중요한 역할을 하는 과정을 처음 듣는 경우 어려움을 겪습니다. 이 베스트셀러 텍스트의 세 번째 판은 학생들이 문제 해결에서 정리를 증명하는 것으로 전환하는 데 필요한 기법을 가르쳐 줌으로써 체계적인 도움을 제공합니다. 150개 이상의 새로운 연습문제와 수 이론에 대한 새로운 장을 포함한 이 새로운 판은 학생들에게 증명 마스터를 통해 고급 수학의 세계에 소개합니다. 이 책은 학생들이 수학의 언어와 그것이 해석되는 방식을 익히기 위해 논리와 집합 이론의 기본 개념으로 시작합니다. 이러한 개념은 숫자, 집합, 관계 및 함수에 대한 증명의 기계를 드러내기 위해 자세한 '작업 과정' 섹션을 사용하여 복잡한 증명을 단계별로 구축하는 데 사용될 수 있는 기법 분석의 기초로 활용됩니다. 표준 고등학교 수학 이상의 배경 지식을 가정하지 않는 이 책은 논리와 증명에 관심이 있는 모든 사람에게 유용할 것입니다: 컴퓨터 과학자, 철학자, 언어학자 및 물론 수학자들.
A Thu, 연구가 이 질문을 연구했습니다.