Logic, Mathematics, and Computer Science

Modern Foundations with Practical Applications

AvYves Nievergelt

Häftad, Engelska, 2015

504 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

694 kr

Skickas inom 10-15 vardagar

Beskrivning

This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory.

Produktinformation

Utgivningsdatum:2015-10-14
Mått:155 x 235 x 21 mm
Vikt:684 g
Format:Häftad
Språk:Engelska
Antal sidor:391
Upplaga:2
Förlag:Springer-Verlag New York Inc.
ISBN:9781493937134

Utforska kategorier

Talteori inom Naturvetenskap och teknik
Systemvetenskap och AI inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik

Mer om författaren

Yves 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).

Recensioner i media

“This 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 notonly 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)

Innehållsförteckning

Preface.- 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.