(Ilmumisaeg: 08-Feb-2023, PDF+DRM, Kirjastus: American Mathematical Society, ISBN-13: 9781470474164)
This textbook is designed for an Introduction to Proofs course organized around the themes of number and space. Concepts are illustrated using both geometric and number examples, while frequent analogies and applications help build intuition and cont...Loe edasi...
(Ilmumisaeg: 29-Sep-2020, PDF+DRM, Kirjastus: MIT Press Ltd, ISBN-13: 9780262365079)
An introduction to writing proofs, presented through compelling mathematical statements with interesting elementary proofs.This book offers an introduction to the art and craft of proof writing. The author, a leading research mathematician, presents...Loe edasi...
Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich Zapletal
(Ilmumisaeg: 04-Apr-2020, PDF+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789811201943)
This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advanced study in set theory and mathematical logic as well...Loe edasi...
Douglas Cenzer, Jean Larson, Christopher Porter, Jindrich Zapletal
(Ilmumisaeg: 04-Apr-2020, EPUB+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789811201943)
This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advanced study in set theory and mathematical logic as well...Loe edasi...
Sari: Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts
(Ilmumisaeg: 05-Oct-2011, PDF+DRM, Kirjastus: John Wiley & Sons Inc, ISBN-13: 9781118030578)
A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoning Successfully addressing the frustration many students experience as they make the transition from computational mathematics to advanced calculus and algeb...Loe edasi...
(Ilmumisaeg: 01-Mar-2011, PDF+DRM, Kirjastus: John Wiley & Sons Inc, ISBN-13: 9781118030691)
A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning. With its user-friendl...Loe edasi...
(Ilmumisaeg: 15-Aug-2004, PDF+DRM, Kirjastus: University of Pittsburgh Press, ISBN-13: 9780822972594)
Many texts on logic are written with a mathematical emphasis, and focus primarily on the development of a formal apparatus and associated techniques. In other, more philosophical texts, the topic is often presented as an indulgent collection of musin...Loe edasi...