An Inquiry-Based Introduction to Proofs
by Jim Hefferon
Publisher: Saint Michael's College 2013
Number of pages: 23
Introduction to Proofs is a Free undergraduate text. It is inquiry-based, sometimes called the Moore method or the discovery method. The text consists of a sequence of exercises, statements for students to prove, along with a few definitions and remarks. The instructor does not lecture but instead lightly guides as the class works through the material together.
Home page url
Download or read it online for free here:
by Patrick Keef, David Guichard, Russ Gordon - Whitman College
Contents: Logic (Logical Operations, De Morgan's Laws, Logic and Sets); Proofs (Direct Proofs, Existence proofs, Mathematical Induction); Number Theory (The Euclidean Algorithm); Functions (Injections and Surjections, Cardinality and Countability).
by Martin Day - Virginia Tech
The book helps students make the transition from freshman-sophomore calculus to more proof-oriented upper-level mathematics courses. Another goal is to train students to read more involved proofs they may encounter in textbooks and journal articles.
by Farshid Hajir - University of Massachusetts
Problem Solving, Inductive vs. Deductive Reasoning, An introduction to Proofs; Logic and Sets; Sets and Maps; Counting Principles and Finite Sets; Relations and Partitions; Induction; Number Theory; Counting and Uncountability; Complex Numbers.
by Peter J. Eccles - Cambridge University Press
This book introduces basic ideas of mathematical proof to students embarking on university mathematics. The emphasis is on constructing proofs and writing clear mathematics. This is achieved by exploring set theory, combinatorics and number theory.