Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
How to Prove It : A Structured Approach by Daniel J. Velleman (1994, Trade Paperback)
Awesomebooksusa (455598)
98.5% positive feedback
Price:
US $24.13
ApproximatelyRM 101.27
+ $6.99 shipping
Returns:
No returns, but backed by .
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherCambridge University Press
ISBN-100521446635
ISBN-139780521446631
eBay Product ID (ePID)625081
Product Key Features
Number of Pages319 Pages
LanguageEnglish
Publication NameHow to Prove It : a Structured Approach
Publication Year1994
SubjectProgramming / General, General, Logic
TypeTextbook
Subject AreaMathematics, Computers
AuthorDaniel J. Velleman
FormatTrade Paperback
Dimensions
Item Height0.7 in
Item Weight15.5 Oz
Item Length9 in
Item Width6 in
Additional Product Features
Intended AudienceCollege Audience
LCCN93-014567
Dewey Edition22
Reviews'… we can warmly advise this excellent book for those who need to get acquainted with or must teach course on formalism and proof techniques.' Acta Scientiarum Mathematicarum, '... we can warmly advise this excellent book for those who need to get acquainted with or must teach course on formalism and proof techniques.' Acta Scientiarum Mathematicarum
IllustratedYes
Dewey Decimal511.3
SynopsisMany mathematics students have trouble the first time they take a course, such as linear algebra, abstract algebra, introductory analysis, or discrete mathematics, in which they are asked to prove various theorems. This textbook will prepare students to make the 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, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. The author shows how complex proofs are built up from these smaller steps, using detailed "scratchwork" sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. Numerous exercises give students the opportunity to construct their own proofs. No background beyond standard high school mathematics is assumed. This book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and of course mathematicians., Many mathematics students have trouble the first time they take a course in which they are asked to prove various theorems. This textbook will prepare them to make the transition from solving problems to proving theorems by teaching the techniques needed to read and write proofs., Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This textbook will prepare students to make the 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, to familiarise students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. The author shows how complex proofs are built up from these smaller steps, using detailed 'scratchwork' sections to expose the machinery of proofs about the natural numbers, relations, functions and infinite sets. Numerous exercises give students the opportunity to construct their own proofs. No background beyond standard high school mathematics is assumed. This book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and of course mathematicians., This new edition of Dan Velleman's successful textbook contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.
LC Classification NumberQA9 .V38 1994
Be the first to write a review
