How to Prove It A Structured Approach
- Textbook
Description
Proofs play a central role in advanced mathematics and theoretical computer science, yet many students struggle the first time they take a course in which proofs play a significant role. This bestselling text's third edition helps students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. Featuring over 150 new exercises and a new chapter on number theory, this new edition introduces students to the world of advanced mathematics through the…
- Add bookmark
- Cite
- Share
Key features
- Perfect for self-study, an introduction to proofs course, or as a supplementary text for a discrete mathematics course or foundations of computing course
- Systematic and thorough, showing how several techniques can be combined to construct a complex proof
- Covers logic, set theory, relations, functions, and cardinality
About the book
- DOI https://doi.org/10.1017/9781108539890
- Subjects Algorithms, Complexity, and Theory of Computing,Computer Science,Logic, Categories and Sets,Mathematics
- Format: Hardback
- Publication date: 29 August 2019
- ISBN: 9781108424189
- Dimensions (mm): 228 x 152 mm
- Weight: 0.87kg
- Contains: 47 b/w illus.
- Page extent: 468 pages
- Availability: Available
- Format: Paperback
- Publication date: 29 August 2019
- ISBN: 9781108439534
- Dimensions (mm): 228 x 152 mm
- Weight: 0.76kg
- Contains: 47 b/w illus.
- Page extent: 468 pages
- Availability: In stock
- Format: Digital
- Publication date: 04 July 2019
- ISBN: 9781108539890
Access options
Review the options below to login to check your access.
Personal login
Log in with your Cambridge Higher Education account to check access.
Purchase options
There are no purchase options available for this title.
If you believe you should have access to this content, please contact your institutional librarian or consult our FAQ page for further information about accessing our content.
Related content
AI generated results by Discovery for publishers [opens in a new window]
- BookThe Logic of Infinity
Online publication date: 05 August 2014
- BookFirst Course in Metric Spaces
Online publication date: 05 April 2012
- BookLectures in Logic and Set Theory
Online publication date: 16 January 2010