An Introduction to Proof via Inquiry-Based Learning is a textbook for the transition to proof course for mathematics majors. Designed to promote active learning through inquiry, the book features a highly structured set of leading questions and explorations. The reader is expected to construct their own understanding by engaging with the material. The content ranges over topics traditionally included in transitions courses: logic, set theory including cardinality, the topology of the real line, a bit of number theory, and more. The exposition guides and mentors the reader through an adventure in mathematical discovery, requiring them to solve problems, conjecture, experiment, explore, create, and communicate. Ultimately, this is really a book about productive struggle and learning how to learn.
What is This Book All About?
This book is intended to be used for a one-semester/quarter introduction to proof course (sometimes referred to as a transition to proof course). The purpose of this book is to introduce the reader to the process of constructing and writing formal and rigorous mathematical proofs. The intended audience is mathematics majors and minors. However, this book is also appropriate for anyone curious about mathematics and writing proofs. Most users of this book will have taken at least one semester of calculus, although other than some familiarity with a few standard functions in Chapter 8, content knowledge of calculus is not required. The book includes more content than one can expect to cover in a single semester/quarter. This allows the instructor/reader to pick and choose the sections that suit their needs and desires. Each chapter takes a focused approach to the included topics, but also includes many gentle exercises aimed at developing intuition.
Conditions of Use
This book is licensed under a Creative Commons License (CC BY-SA). You can download the ebook An Introduction to Proof via Inquiry-Based Learning for free.
- Title
- An Introduction to Proof via Inquiry-Based Learning
- Publisher
- American Mathematical Society
- Author(s)
- Dana C. Ernst
- Published
- 2024-01-08
- Edition
- 1
- Format
- eBook (pdf, epub, mobi)
- Pages
- 150
- Language
- English
- ISBN-10
- 1470463334
- ISBN-13
- 9781470463335
- License
- CC BY-SA
- Book Homepage
- Free eBook, Errata, Code, Solutions, etc.
Preface Acknowledgements 1 Introduction 1.1 What is This Book All About? 1.2 What Should You Expect? 1.3 An Inquiry-Based Approach 1.4 Structure of the Textbook 1.5 Some Minimal Guidance 2 Mathematics and Logic 2.1 A Taste of Number Theory 2.2 Introduction to Logic 2.3 Techniques for Proving Conditional Propositions 2.4 Introduction to Quantification 2.5 More About Quantification 3 Set Theory 3.1 Sets 3.2 Russell's Paradox 3.3 Power Sets 3.4 Indexing Sets 3.5 Cartesian Products of Sets 4 Induction 4.1 Introduction to Induction 4.2 More on Induction 4.3 Complete Induction 4.4 The Well-Ordering Principle 5 The Real Numbers 5.1 Axioms of the Real Numbers 5.2 Standard Topology of the Real Line 6 Three Famous Theorems 6.1 The Fundamental Theorem of Arithmetic 6.2 The Irrationality of 6.3 The Infinitude of Primes 7 Relations and Partitions 7.1 Relations 7.2 Equivalence Relations 7.3 Partitions 7.4 Modular Arithmetic 8 Functions 8.1 Introduction to Functions 8.2 Injective and Surjective Functions 8.3 Compositions and Inverse Functions 8.4 Images and Preimages of Functions 8.5 Continuous Real Functions 9 Cardinality 9.1 Introduction to Cardinality 9.2 Finite Sets 9.3 Infinite Sets 9.4 Countable Sets 9.5 Uncountable Sets A Elements of Style for Proofs B Fancy Mathematical Terms C Paradoxes D Definitions in Mathematics