How to read and do proofs : an introduction to mathematical thought processes
著者
書誌事項
How to read and do proofs : an introduction to mathematical thought processes
John Wiley & Sons, c2014
6th ed
- : pbk
大学図書館所蔵 全14件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references (p. 314-315) and index
内容説明・目次
内容説明
This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think about, and do proofs. The approach is to categorize, identify, and explain (at the student's level) the various techniques that are used repeatedly in all proofs, regardless of the subject in which the proofs arise. How to Read and Do Proofs also explains when each technique is likely to be used, based on certain key words that appear in the problem under consideration. Doing so enables students to choose a technique consciously, based on the form of the problem.
目次
Foreword xi
Preface to the Student xiii
Preface to the Instructor xv
Acknowledgments xviii
Part I Proofs
1 Chapter 1: The Truth of It All 1
2 The Forward-Backward Method 9
3 On Definitions and Mathematical Terminology 25
4 Quantifiers I: The Construction Method 41
5 Quantifiers II: The Choose Method 53
6 Quantifiers III: Specialization 69
7 Quantifiers IV: Nested Quantifiers 81
8 Nots of Nots Lead to Knots 93
9 The Contradiction Method 101
10 The Contrapositive Method 115
11 The Uniqueness Methods 125
12 Induction 133
13 The Either/Or Methods 145
14 The Max/Min Methods 155
15 Summary 163
Part II Other Mathematical Thinking Processes
16 Generalization 179
17 Creating Mathematical Definitions 197
18 Axiomatic Systems 219
Appendix A Examples of Proofs from Discrete Mathematics 237
Appendix B Examples of Proofs from Linear Algebra 251
Appendix C Examples of Proofs from Modern Algebra 269
Appendix D Examples of Proofs from Real Analysis 287
Solutions to Selected Exercises 305
Glossary 357
References 367
Index 369
「Nielsen BookData」 より