Velleman, Daniel J.
How to Prove It: A Structured Approach
- ISBN 13:
- 9781108439534
- author:
- Velleman, Daniel J.
- format:
- Paperback / softback
- publisher:
- Cambridge University Press
- language:
- English
- Publication Year:
- 2019
- Pages:
- 400
- Dimensions:
- 153 mm X 227 mm
- Genre:
- Science, Mathematics, Logic,
- Condition:
- New
- Availability:
- Item usually sent within 4 working days
Description
This book provides a structured approach to understanding proofs in mathematics and theoretical computer science. It helps students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs.
The book begins with the basic concepts of logic and set theory, familiarizing students with the language of mathematics and how it is interpreted. It then builds up to more complex proofs by analyzing techniques that can be used to construct them step by step.
With over 150 new exercises and a new chapter on number theory, this edition introduces students to the world of advanced mathematics through the mastery of proofs. It is suitable for anyone interested in logic and proofs, including computer scientists, philosophers, linguists, and mathematicians.