About this product

Product Identifiers

PublisherCambridge University Press

ISBN-100521675995

ISBN-139780521675994

eBay Product ID (ePID)48651661

Product Key Features

Number of Pages398 Pages

LanguageEnglish

Publication NameHow to Prove It : a Structured Approach

SubjectProgramming / General, General, Logic

Publication Year2006

FeaturesRevised

TypeTextbook

Subject AreaMathematics, Computers

AuthorDaniel J. Velleman

FormatPerfect

Dimensions

Item Height0.9 in

Item Weight18.8 Oz

Item Length9 in

Item Width6 in

Additional Product Features

Edition Number2

Intended AudienceCollege Audience

LCCN2005-029447

Dewey Edition22

Reviews"The book provides a valuable introduction to the nuts and bolts of mathematical proofs in general." William M. McGovern, University of Washington, SIAM Reviews, "The prose is clear and cogent ... the exercises are plentiful and are pitched at the right level.... I recommend this book very highly!" MAA Reviews, "This is a good book, and an exceptionally good mathematics book. Thorough and clear explanations, examples, and (especially) exercised with complete solutions all contribute to make this an excellent choice for teaching yourself, or a class, about writing proofs." Brent Smith, SIGACT News, "The prose is clear and cogent ... the exercises are plentiful and are pitched at the right level.... I recommend this book very highly!" The Mathematical Association of America, "The book provides a valuable introduction to the nuts and bolts of mathematical proofs in general." SIAM Review, 'The book begins with the basic concepts of logic and theory ... These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. No background standard in high scholl mathematics is assumed.' L'enseignement mathematique

IllustratedYes

Dewey Decimal511.3

Edition DescriptionRevised edition

Table Of Content1. Sentential logic; 2. Quantificational logic; 3. Proofs; 4. Relations; 5. Functions; 6. Mathematical induction; 7. Infinite sets.

SynopsisGeared to preparing students to make the transition from solving problems to proving theorems, this text teaches 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. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5, Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text 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 'scratch work' sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. To give students the opportunity to construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. 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., Daniel J. Velleman's lively text prepares students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. This new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.

LC Classification NumberQA9.V38 2006