A First Course in Mathematical Logic and Set Theory

Nonfiction, Science & Nature, Mathematics, Logic
Cover of the book A First Course in Mathematical Logic and Set Theory by Michael L. O'Leary, Wiley
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Michael L. O'Leary ISBN: 9781118547915
Publisher: Wiley Publication: October 21, 2015
Imprint: Wiley Language: English
Author: Michael L. O'Leary
ISBN: 9781118547915
Publisher: Wiley
Publication: October 21, 2015
Imprint: Wiley
Language: English

A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs

Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems.

The book begins with propositional logic, including two-column proofs and truth table applications, followed by first-order logic, which provides the structure for writing mathematical proofs. Set theory is then introduced and serves as the basis for defining relations, functions, numbers, mathematical induction, ordinals, and cardinals. The book concludes with a primer on basic model theory with applications to abstract algebra. A First Course in Mathematical Logic and Set Theory also includes:

  • Section exercises designed to show the interactions between topics and reinforce the presented ideas and concepts
  • Numerous examples that illustrate theorems and employ basic concepts such as Euclid’s lemma, the Fibonacci sequence, and unique factorization
  • Coverage of important theorems including the well-ordering theorem, completeness theorem, compactness theorem, as well as the theorems of Löwenheim–Skolem, Burali-Forti, Hartogs, Cantor–Schröder–Bernstein, and König

An excellent textbook for students studying the foundations of mathematics and mathematical proofs, A First Course in Mathematical Logic and Set Theory is also appropriate for readers preparing for careers in mathematics education or computer science. In addition, the book is ideal for introductory courses on mathematical logic and/or set theory and appropriate for upper-undergraduate transition courses with rigorous mathematical reasoning involving algebra, number theory, or analysis.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs

Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems.

The book begins with propositional logic, including two-column proofs and truth table applications, followed by first-order logic, which provides the structure for writing mathematical proofs. Set theory is then introduced and serves as the basis for defining relations, functions, numbers, mathematical induction, ordinals, and cardinals. The book concludes with a primer on basic model theory with applications to abstract algebra. A First Course in Mathematical Logic and Set Theory also includes:

An excellent textbook for students studying the foundations of mathematics and mathematical proofs, A First Course in Mathematical Logic and Set Theory is also appropriate for readers preparing for careers in mathematics education or computer science. In addition, the book is ideal for introductory courses on mathematical logic and/or set theory and appropriate for upper-undergraduate transition courses with rigorous mathematical reasoning involving algebra, number theory, or analysis.

More books from Wiley

Cover of the book Carbon Dioxide Thermodynamic Properties Handbook by Michael L. O'Leary
Cover of the book Clinical Context for Evidence-Based Practice by Michael L. O'Leary
Cover of the book Modeling of Liquid Phases by Michael L. O'Leary
Cover of the book Biopharmaceutics Modeling and Simulations by Michael L. O'Leary
Cover of the book Food Microbiology, 2 Volume Set by Michael L. O'Leary
Cover of the book Qualitative Research in Practice by Michael L. O'Leary
Cover of the book Cardiovascular Hemodynamics for the Clinician by Michael L. O'Leary
Cover of the book The Vest Pocket CPA by Michael L. O'Leary
Cover of the book Topographical Tools for Filtering and Segmentation 2 by Michael L. O'Leary
Cover of the book Development and International Relations by Michael L. O'Leary
Cover of the book Volatility Trading by Michael L. O'Leary
Cover of the book Active versus Passive Management by Michael L. O'Leary
Cover of the book Physiology at a Glance by Michael L. O'Leary
Cover of the book In the King's Shadow by Michael L. O'Leary
Cover of the book Elements of Environmental Chemistry by Michael L. O'Leary
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy