국내도서

>

인문

>

인문교양

>

인문교양일반

• 
• 제휴몰 주문 시 고객보상, 일부 이벤트 참여 및 증정품 증정, 하루/당일 배송에서 제외되므로 참고 바랍니다.

• 
• 도서  > 인문  > 인문교양  > 인문교양일반

• 
• 
• 이 책은 Daniel J. Velleman 교수의 저서인 어떻게 증명할 것인가 -구조적 접근 How to prove It-A structured Approach의 제3판(2019)을 번역한 것이다. 벨만 교수가 1994년에 초판을 발간했으며, 2006년에 제2판을 발간하면서 200여개의 연습문제들을 추가했고 증명 설계자 Proof Designer소프트웨어를 사용하여 문제풀이를 하도록 했다. 그리고 제3판에서는 수론에 대한 한 새로운 장과 역시 150개 이상의 많은 연습문제들을 추가했다. 이 책은 수학적 명제들이 가질 수 있는 다양한 형식들에 학생들이 친근하게 접근하게 하는 기초적인 논리로 시작한다. 제1장은 논리적 연결사들을 논의하고, 제2장은 한정기호들을 소개했다. 이 장들에서 집합론의 기초개념들을 제시한다. 그것들이 이 책의 나머지 부분에서 사용되는 중요한 주제이기 때문이다. 제3장은 한 조직적인 방법으로 수학적 명제들이 가질 수 있는 다양한 양식들을 통하여 적절한 증명구조들을 논의하고 그 증명들은 수학적으로 더 복잡해지고 또한 더 흥미로워질 것이다. 제4 그리고 5장에서는, 관계들과 함수들에 대한 것으로, 학생들이 3장으로부터 증명을 쓰는 기술들을 실행하는 주제를 제공하고, 수학 전체 영역에서 사용되는 약간의 기본적인 개념들을 소개한다. 제6장은 수학과 컴퓨터 과학에서 아주 중요한 증명방법인 수학적 귀납법을 다룬다. 마지막으로, 제7장과 제8장에서는 정수론의 기초개념과 무한집합의 위수 정리를 소개하고 있다. 이것들은 학생들에게 가장 흥미로운 정리들을 함께 가져다 줄 것이다. 저자는 수학 문제해결과 정리들의 증명에서 학생들이 증명의 구성과 관련된 밑바닥에 있는 원리들을 밝혀냄으로써 수학하는 방법에 대한 해답들을 주고자 의도하고 있다. 증명들은 고급수학들과 컴퓨터 과학 이론에 핵심적인 역할을 한다, 많은 학생들은 처음에 증명들이 중요한 역할을 하는 과목을 이수하는데 힘들어 한다. 그들에게 증명들을 읽고 쓰는데 필요한 기술들을 가르쳐서 학생들이 문제 푸는 것으로부터 정리들을 증명하는 것으로 변화시키도록 도와주고 증명들의 숙달을 통해서 고급수학의 세상을 소개한다. 이 책은 수학적인 용어에 익숙해지고 그것들이 어떻게 해석하는지에 관한 논리의 기본개념을 단계적으로 소개하고, 복잡한 증명들을 해나가는데 사용될 수 있는 분석 기술과 증명들의 절차를 “메모작업 scratch work"부분에서 상세하게 소개한다. 또한, 컴퓨터 과학에서 일찍이 프로그램잉 언어들의 지침에 번호가 붙은 목록으로 쉽게 접근하도록 가르친다. 이 책에서도 증명들에 대한 논의와 증명쓰기 에서도 유사하게 “구조적인 증명”을 받아드리도록 소개한다. 과학 문명의 발전과 더불어 우리의 삶 속에서 바르게 사고하고 거짓된 논증과 모호한 주장에 동조하지 않는 지적 정직성을 갖추도록 논리적인 증명방법을 알야야한다. 보통 고등학교 수학을 넘는 배경지식이 없어도, 이 책은 논리와 증명들에 관심이 있는 모든 사람들: 컴퓨터 과학자들, 철학자들, 언어학자들, 그리고 물론, 수학자들에게 유용하게 사용되기를 기대한다.
• 
• “매력적으로 저술되고, 그리고 명료하고 대단히 자세하게 많은 증명 기술들을 다루고 있다. 이 책은 내가 학생들에게 추천한 자료들의 한 위대한 추가 자료가 될 것이다.” 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"부분에서 상세하게 사용된다. 보통 고등학교 수학을 넘는 배경지식이 없어도, 이 책은 논리와 증명들에 관심이 있는 모든 사람들: 컴퓨터 과학자들, 철학자들, 언어학자들, 그리고 물론, 수학자들에게 유용하게 사용될 것이다. · 증명들을 소개하는 과목, 또는 이산수학 과목의 보조 책으로, 또는 컴퓨팅의 기초 과목으로 자기주도학습 하기에 완벽하다. · 복잡한 증명을 구성하는데 다양한 기술들이 어떻게 체계적으로 철저하게 결합되는지를 보여준다. · 논리, 집합론, 관계들, 함수들, 그리고 집합의 원소 개수 세기 등을 다룬다
• 
• 도입 Introduction 1장. 문장제 논리 Sentential Logic ············································································· 17 1.1. 연역적 추론 Deductive Reasoning과 논리적 연결사 Logical Connectives ····································································· 18 1.2. 진리표 Truth Tables ······························································································ 25 1.3. 변수들과 집합 Variables and Sets ······································································· 40 1.4. 집합의 연산 Operations on Sets ·········································································· 51 1.5. 조건부 그리고 쌍조건부 연결사들 The Conditional and Biconditional Connectives ················································· 62 2장. 한정작용소 논리 Quantificational Logic ······························································ 77 2.1. 한정작용소들 Quantifiers ······················································································· 78 2.2.... 복잡한 한정작용소들의 동치들 Equivalences Involving Quantifiers ··················· 89 2.3. 집합들에서 더 많은 연산들 More Operations on Sets ····································· 101 3장. 증명 Proof ··········································································································· 115 3.1. 증명의 전략들 Proof Strategies ·········································································· 116 3.2. 부정명제들과 조건문들이 포함된 증명들 Proofs involving Negations and Conditionals ················································· 129 3.3. 한정작용소가 관련된 증명들 Proofs Involving Quantifiers ······························· 146 3.4. 논리곱(합접)과 쌍조건문이 관련된 증명들 Proofs Involving Conjunctions and Biconditionals ··········································· 169 3.5. 이접(논리합)이 관련된 증명들 Proofs Involving Disjunctions ·························· 185 3.6. 존재성과 유일성의 증명들 Existence and Uniqueness Proofs ·························· 200 3.7. 증명들에 대한 추가 예들 More Examples of Proofs ······································· 212 4장. 관계 Relations ····································································································· 225 4.1 순서쌍과 곱집합 Ordered Pairs and Cartesian Products ··································· 226 4.2. 관계 Relations ····································································································· 236 4.3 더 많은 관계들 More about Relations ······························································ 248 4.4 순서 관계들 Ordering Relations ·········································································· 260 4.5 동치관계 Equivalence Relations ·········································································· 279 5장. 함수 Functions ·································································································· 297 5.1. 함수 Functions ··································································································· 298 5.2. 일대일 함수와 위에로의 함수 One-to-one and Onto ········································ 311 5.3. 역함수 Inverses of Functions ··········································································· 324 5.4. 폐포들 Closures ··································································································· 337 5.5 상과 역상 Images and Inverse Images: 한 연구 계획 A Research Project ······································································ 349 6장. 수학적 귀납법 Mathematical Induction ····························································· 355 6.1. 수학적 귀납법에 의한 증명 Proof by Mathematical Induction ························ 356 6.2. 더 많은 예들 More Examples ············································································ 365 6.3. 점화식 Recursion ································································································· 382 6.4. 강한 귀납법 Strong Induction ············································································ 396 6.5. 폐포를 다시보자. Closures again ········································································ 412 7장. 정수론 Number Theory ···················································································· 421 7.1. 최대공약수 Greatest Common Divisors ····························································· 422 7.2. 소인수분해 Prime Factorization ········································································ 432 7.3. 모듈러 산술 Modular Arithmetic ······································································· 445 7.4. 오일러의 정리 Euler's Theorem ·········································································· 458 7.5. 공개-키 암호론 Public-key Cryptography ·························································· 470 8장. 무한 집합 Infinte Sets ························································································ 487 8.1. 대등한 집합 Equinumerous Sets ········································································· 488 8.2. 가산집합과 비가산집합 Countable and Uncountable Sets ································ 501 8.3. 칸토어-쉴뢰더-베른쉬타인 정리 The Cantor-Schroder-Bernstein Theorem ··························································· 512 부록1: 선택된 연습문제 풀이 모음 Solutions to Selected Exercises ······················· 523 부록2: 증명 설계자 Proof Designer ··········································································· 599 부록3: 참고문헌 Suggestions for Further Reading ··················································· 601 부록4: 증명 기술들의 정리 Summary of Proof Techniques ···································· 602
• 

• Velleman, Daniel J. [저]

• 전체 0개의 구매후기가 있습니다.
• 

인터파크도서는 고객님의 단순 변심에 의한 교환과 반품에 드는 비용은 고객님이 지불케 됩니다. 단, 상품이나 서비스 자체의 하자로 인한 교환 및 반품은 무료로 반품 됩니다. 교환 및 반품이 가능한 경우 상품을 공급 받은 날로부터 7일이내 가능 공급받으신 상품의 내용이 표시, 광고 내용과 다르거나 다르게 이행된 경우에는 공급받은 날로부터 3개월 이내,    혹은 그사실을 알게 된 날 또는 알 수 있었던 날로부터 30일 이내 상품에 아무런 하자가 없는 경우 소비자의 고객변심에 의한 교환은 상품의 포장상태 등이 전혀 손상되지 않은 경우에 한하여 가능 교환 및 반품이 불가능한 경우 구매확정 이후(오픈마켓상품에 한함) 고객님의 책임 있는 사유로 상품 등이 멸실 또는 훼손된 경우    (단, 상품의 내용을 확인하기 위하여 포장 등을 훼손한 경우는 제외) 시간이 지남에 따라 재판매가 곤란할 정도로 물품의 가치가 떨어진 경우 포장 개봉되어 상품 가치가 훼손된 경우 다배송지의 경우 반품 환불 다배송지의 경우 다른 지역의 반품을 동시에 진행할 수 없습니다. 1개 지역의 반품이 완료된 후 다른 지역 반품을 진행할 수 있으므로, 이점 양해해 주시기 바랍니다. 중고상품의 교환 중고상품은 제한된 재고 내에서 판매가 이루어지므로, 교환은 불가능합니다. 오픈마켓 상품의 환불 오픈마켓상품에 대한 책임은 원칙적으로 업체에게 있으므로, 교환/반품 접수시 반드시 판매자와 협의 후 반품 접수를 하셔야하며,    반품접수 없이 반송하거나, 우편으로 보낼 경우 상품 확인이 어려워 환불이 불가능할 수 있으니 유의하시기 바랍니다.

배송예정일 안내 인터파크 도서는 모든 상품에 대해 배송완료예정일을 웹사이트에 표시하고 있습니다. <인터파크 직배송 상품> 상품은 월~토요일 오전 10시 이전 주문분에 대하여 당일 출고/당일 배송완료를 보장하는 상품입니다. 상품은 서울지역/평일 주문분은 당일 출고/익일 배송완료를 보장하며, 서울외지역/평일 주문분의 경우는 오후 6시까지 주문분에 대하여 익일 배송완료를 보장하는 상품입니다. (단, 월요일은 12시까지 주문에 한함) 상품은, 입고예정일(제품출시일)+택배사배송일(1일)에 배송완료를 보장합니다. ~ 상품은 유통특성상 인터파크에서 재고를 보유하지 않은 상품으로 주문일+기준출고일+택배사배송일(1일)에 배송완료를 보장합니다.(토/공휴일은 배송기간에 포함되지 않습니다.) ※기준출고일:인터파크가 상품을 수급하여 물류창고에서 포장/출고하기까지 소요되는 시간 <업체 직접배송/오픈마켓 상품> ~ 상품은 업체가 주문을 확인하고, 출고하기까지 걸리는 시간입니다. 주문일+기준출고일+택배사배송일(2일)에 배송완료를 보장합니다.(토/공휴일은 배송기간에 포함되지 않습니다.) ※5일이내 출고가 시작되지 않을시, 오픈마켓 상품은 자동으로 주문이 취소되며, 고객님께 품절보상금을 지급해 드립니다. 배송비 안내 도서(중고도서 포함)만 구매하시면 : 배송비 2,000원 (1만원이상 구매 시 무료배송) 음반/DVD만 구매하시면 : 배송비 1,500원 (2만원이상 구매 시 무료배송) 잡지/만화/기프트만 구매하시면 : 배송비 2,000원 (2만원이상 구매 시 무료배송) 도서와 음반/DVD를 함께 구매하시면 : 배송비 1,500원 1만원이상 구매 시 무료배송) 도서와 잡지/만화/기프트/중고직배송상품을 함께 구매하시면 : 2,000원 (1만원이상 구매 시 무료배송) 업체직접배송상품을 구매시 : 업체별로 상이한 배송비 적용    * 세트상품의 경우 부분취소 시 추가 배송비가 부과될 수 있습니다.    * 북카트에서 배송비없애기 버튼을 클릭하셔서, 동일업체상품을 조금 더 구매하시면, 배송비를 절약하실 수 있습니다. 해외배송 안내 인터파크도서에서는 국내에서 주문하시거나 해외에서 주문하여 해외로 배송을 원하실 경우 DHL과 특약으로 책정된 요금표에    의해 개인이 이용하는 경우보다 배송요금을 크게 낮추며 DHL(www.dhl.co.kr)로 해외배송 서비스를 제공합니다. 해외배송은 도서/CD/DVD 상품에 한해 서비스하고 있으며, 다른 상품을 북카트에 함께 담으실 경우 해외배송이 불가합니다. 해외주문배송 서비스는 인터파크 도서 회원 가입을 하셔야만 신청 가능합니다. 알아두세요!!! 도매상 및 제작사 사정에 따라 품절/절판 등의 사유로 취소될 수 있습니다. 오픈마켓업체의 배송지연시 주문이 자동으로 취소될 수 있습니다. 출고가능 시간이 서로 다른 상품을 함께 주문할 경우 출고가능 시간이 가장 긴 기준으로 배송됩니다. 유통의 특성상 출고기간은 예정보다 앞당겨지거나 늦춰질 수 있습니다. 택배사 배송일인 서울 및 수도권은 1~2일, 지방은 2~3일, 도서, 산간, 군부대는 3일 이상의 시간이 소요됩니다.