Free Delivery Over $100
|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Yves NievergeltPublisher: Springer-Verlag New York Inc. Imprint: Springer-Verlag New York Inc. Edition: 2nd ed. 2015 Dimensions: Width: 15.50cm , Height: 2.70cm , Length: 23.50cm Weight: 8.005kg ISBN: 9781493932221ISBN 10: 1493932225 Pages: 391 Publication Date: 14 October 2015 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsPreface.- 1. Propositional Logic: Proofs from Axioms and Inference Rules.- 2. First Order Logic: Proofs with Quantifiers.- 3. Set Theory: Proofs by Detachment, Contraposition, and Contradiction.- 4. Mathematical Induction: Definitions and Proofs by Induction.- 5. Well-Formed Sets: Proofs by Transfinite Induction with Already Well-Ordered Sets.- 6. The Axiom of Choice: Proofs by Transfinite Induction.- 7. Applications: Nobel-Prize Winning Applications of Sets, Functions, and Relations.- 8. Solutions to Some Odd-Numbered Exercises.- References.- Index.ReviewsThis book could be a valuable reference text and would be useful to one who would like to know how basic mathematical primitives can be rigorously developed within basic set theory. (Rana Barua, Mathematical Reviews, June, 2016) It is quite suitable for a first- or second-year university course where the hand of the lecturer can guide the student through the material. There are fairly comprehensive sets of problems at the end of each chapter ... . In summary, the book is a very thorough treatment of the topics ... . It is quite suitable as a textbook for an undergraduate course in the logic and mathematics that underpin a computer science course. The exercises are comprehensive. (Martin Schweitzer, Computing Reviews, computingreviews.com, May, 2016) This introductory textbook on logic and set theory stands out in that it does not only present its mathematical content in a thorough and accessible way, but also giving historical and philosophical background ... . The book contains many exercises that should serve to further the understanding of the reader ... . The book should be accessible to readers with a basic general background in mathematics. (Merlin Carl, zbMATH 1334.03002, 2016) This introductory textbook on logic and set theory stands out in that it does not only present its mathematical content in a thorough and accessible way, but also giving historical and philosophical background ... . The book contains many exercises that should serve to further the understanding of the reader ... . The book should be accessible to readers with a basic general background in mathematics. (Merlin Carl, zbMATH 1334.03002, 2016) Author InformationYves Nievergelt is professor of mathematics at Eastern Washington University. His research interests include applied analysis (mathematics applied to chemistry, medical diagnostic imaging, and physics), complex analysis, and numerical analysis (mathematics of scientific programming). Tab Content 6Author Website:Countries AvailableAll regions |
||||
