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.
"synopsis" may belong to another edition of this title.
'... 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
Related software available
Macintosh software that helps you learn to write proofs using the methods explained in this book can be downloaded from my homepage at:
http://www.cs.amherst.edu/~djv
"About this title" may belong to another edition of this title.
£ 2.80 shipping within United Kingdom
Destination, rates & speeds£ 22.32 shipping from U.S.A. to United Kingdom
Destination, rates & speedsSeller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR002034098
Quantity: 1 available
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-E-016-02095
Quantity: 2 available
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # wbs4751518277
Quantity: 1 available
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if youâre not satisfied with purchase please return item for full refund. Ships USPS Media Mail. Seller Inventory # OTV.0521446635.VG
Quantity: 1 available
Seller: crealivres, La fontennelle, France
Condition: Very Good. Envoi rapide Très bon état. 15 5x22 7x2 5cm. 1994. Broché. 319 pages. Very Good. Seller Inventory # 100136327
Quantity: 1 available
Seller: Goodwill of Greater Milwaukee and Chicago, Racine, WI, U.S.A.
Condition: good. Book is considered to be in good or better condition. The actual cover image may not match the stock photo. Hard cover books may show signs of wear on the spine, cover or dust jacket. Paperback book may show signs of wear on spine or cover as well as having a slight bend, curve or creasing to it. Book should have minimal to no writing inside and no highlighting. Pages should be free of tears or creasing. Stickers should not be present on cover or elsewhere, and any CD or DVD expected with the book is included. Book is not a former library copy. Seller Inventory # SEWV.0521446635.G
Quantity: 1 available
Seller: book-link, Nufringen, BW, Germany
paperback. Condition: Sehr gut. 319 Seiten; M25-06-J-34-VG Sprache: Deutsch Gewicht in Gramm: 500. Seller Inventory # 34631
Quantity: 1 available
Seller: HPB-Red, Dallas, TX, U.S.A.
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_443217370
Quantity: 1 available
Seller: HPB-Ruby, Dallas, TX, U.S.A.
Paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_442637624
Quantity: 1 available
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Paperback. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0521446635
Quantity: 1 available