Book
Building proofs: a practical guide
World Scientific
2015
DOI: 10.1142/9418
Abstract
This book introduces students to the art and craft of writing proofs, beginning with the basics of writing proofs and logic, and continuing on with more in-depth issues and examples of creating proofs in different parts of mathematics, as well as introducing proofs-of-correctness for algorithms. The creation of proofs is covered for theorems in both discrete and continuous mathematics, and in difficulty ranging from elementary to beginning graduate level.Just beyond the standard introductory courses on calculus, theorems and proofs become central to mathematics. Students often find this emphasis difficult and new. This book is a guide to understanding and creating proofs. It explains the standard "moves" in mathematical proofs: direct computation, expanding definitions, proof by contradiction, proof by induction, as well as choosing notation and strategies.
Details
- Title: Subtitle
- Building proofs: a practical guide
- Creators
- Suely Oliveira - University of Iowa, Computer ScienceDavid Stewart - University of Iowa, Mathematics
- Resource Type
- Book
- DOI
- 10.1142/9418
- ISBN
- 9789814641302; 9814641308; 9814641294; 9789814641296
- eISBN
- 9814641316; 9789814641319
- Publisher
- World Scientific; New Jersey
- Number of pages
- x, 165 pages
- Language
- English
- Date published
- 2015
- Academic Unit
- Computer Science; Mathematics
- Record Identifier
- 9983949693802771
Metrics
38 Record Views