Book request: teaching proving and reasoning at an American university

Question

I am a European postdoc who recently teaching at a large public university in the United States. I will have to teach a course for undergraduate students that introduces them to proving and reasoning in mathematics.

The students have possibly no exposure to mathematical reasoning in general. At the end of the course, they should be able to read and write proofs, and use the standard logical/set-theoretical notation.

What books or lecture notes can you recommend (or dis-recommend) for such a course? I am particularly interested in material that gets them as close as possible to being able to read non-American textbooks.

Has this course been taught before at your university? If so, what text has been used? What prerequisites does the course have? What students typically take it (only math majors? everyone?) — Michael Lugo, Oct 23 '17 at 18:19

Daniel R. Collins · Answer 1 · 2018-02-08T18:42:12.167

6

Some things we're currently considering for a similar course at a large urban community college:

Epp, Discrete Mathematics with Applications
~~Artin, Algebra~~
Gilbert, Elements of Modern Algebra
Lay, Analysis with an Introduction to Proof
Wade, An Introduction to Analysis

And also some OER (open educational resources) options:

Sundstrom, Mathematical Reasoning: Writing and Proof (formerly a mass-market textbook) http://scholarworks.gvsu.edu/books/9/
Hammack, Book of Proof http://www.people.vcu.edu/~rhammack/BookOfProof/
Hutchings, Introduction to Mathematical Arguments (27 pages; I esp. like the "Logic in a nutshell" table on p. 9) http://math.berkeley.edu/~hutching/teach/proofs.pdf
Turner, A Brief Introduction to Proofs (9 pages; meant as a primer to any course involving proofs) http://persweb.wabash.edu/facstaff/turnerw/Writing/proofs.pdf

Edit: Struck out Arten's Algebra from list above due to consensus in comments.

edited Feb 08 '18 at 18:42

answered Oct 22 '17 at 23:48

Daniel R. Collins

25,342
70
121

6

Artin is hardly an introduction to proofs and mathematical notation... – darij grinberg Oct 23 '17 at 06:21
4

@TommiBrander "Open Educational Resources" – Steven Gubkin Oct 23 '17 at 12:07
Wait, Mike Artin's algebra book? Am I missing something here? It's awesome but ... – kcrisman Oct 24 '17 at 14:08
@StevenGubkin Thanks. I suggested an edit. – Tommi Oct 24 '17 at 18:17
2

I actually learned to write proofs in a class using Artin's Algebra (because I enrolled without much background). If I hadn't had some very helpful TAs (who are now very good mathematicians in their own rights) I would never have survived. This is not an appropriate book for the purpose of learning basic mathematical argumentation. While I like it a lot, it suppose a certain sophistication of the reader. – Dan Fox Oct 25 '17 at 06:37

score 6 · Answer 2 · edited Aug 24 '20 at 23:00

6

Another free option is Lehman, Leighton, and Meyer's Mathematics for Computer Science. It's written for an MIT introductory discrete math course that emphasizes training students in proof-writing.

edited Aug 24 '20 at 23:00

Chris Cunningham

21,474
6
63
148

answered Oct 23 '17 at 02:32

perigon

161
2

score 6 · Answer 3 · edited Jun 18 '20 at 08:32

I know no better book for reasoning than

Thinking Mathematically, by John Mason, Leone Burton and Kaye Stacey.

It is superb in inspiring action and instilling methods of reasoning. Quoting from the introduction:

Experience in working with students of all ages has convinced us that mathematical thinking can be improved by

● tackling questions conscientiously;

● reflecting on this experience;

● linking feelings with action;

● studying the process of resolving problems; and

● noticing how what you learn fits in with your own experience.

The authors delineate the process of thinking mathematically, presenting a rubric for attacking problems. This rubric does not mean a recipe, but a set of words designed to get you thinking and prompt you toward action (in the spirit of Polya's questions). However, the book does not explicitly deal with problems to prove, and for that I recommend two other books:

How to Prove It, by Daniel Velleman,

and

How to Think like a Mathematician, by Kevin Houston.

These two books combined will help students discuss and learn:

Logic (Sentential and Quantitative) - Velleman
Proof strategies (negations, conditionals, quantifiers, existence and uniqueness, contradiction, induction, etc) - Velleman and Houston
Relations - Velleman and Houston
Functions - Velleman and Houston
How to read definitions and theorems - Houston
Divisors, the Euclidean algorithm and modular arithmetic - Houston

I believe the combination of these three more will result in an overhaul in your students' thinking habits. Their abilities of reasoning will vastly improve.

score 6 · Answer 4 · answered Oct 23 '17 at 12:15

6

Daniel Solow, How To Read and Do Proofs
Intended for abject beginners, unlike some of those other answers.

answered Oct 23 '17 at 12:15

Gerald Edgar

7,489
1
21
33

score 3 · Answer 5 · answered Oct 23 '17 at 04:05

A book we often use in my department is Reading, Writing and Proving by Gorkin and Daepp. One feature of this book that distinguishes it from others mentioned in other answers is that it has chapters on $\mathbb{R}$, its completeness, the convergence of secuences in $\mathbb{R}$, and the Cantor-Schröder-Bernstein theorem. In other words, its focus is more on preparing students for a course in real analysis and less on discrete mathematics. Considering that the South American universities I have taught at often start with the completeness of the reals in first semester calculus, this might be the kind of book that will get students reading "non-American" textbooks quickly.

Book request: teaching proving and reasoning at an American university

5 Answers5

Linked