Introduction to proofs and proof strategies

New York, NY: Cambridge University Press (2023)
  Copy   BIBTEX

Abstract

Emphasizing the creative nature of mathematics, this conversational textbook guides students through the process of discovering a proof as they transition to advanced mathematics. Using several strategies, students will develop the thinking skills needed to tackle mathematics when there is no clear algorithm or recipe to follow.

Categories

Keywords

Reprint years

2024

Call number

QA9.54.F83 2024

ISBN(s)

9781009096287   1009096281
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof and the art of mathematics: examples and extensions.Joel David Hamkins - 2021 - Cambridge, Massachusetts: The MIT Press.
Understanding mathematical proof.John Taylor - 2014 - Boca Raton: Taylor & Francis. Edited by Rowan Garnier.
100% Mathematical Proof.Rowan Garnier & John Taylor - 1996 - John Wiley & Son.
Mathematical Logic: An Introduction.Daniel W. Cunningham - 2023 - Boston: De Gruyter.
An introduction to mathematical reasoning.Boris Iglewicz - 1973 - New York,: Macmillan. Edited by Judith Stoyle.
Introductory Logic.Robert J. Levy - 1984 - Upa.
Building proofs: a practical guide.Suely Oliveira - 2015 - New Jersey: World Scientific. Edited by David Stewart.
Fundamentals of mathematical proof.Charles A. Matthews - 2018 - [place of publication not identified]: [Publisher Not Identified].
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs.Paolo Mancosu, Sergio Galvan & Richard Zach - 2021 - Oxford: Oxford University Press. Edited by Sergio Galvan & Richard Zach.
An introduction to mathematical proofs.Nicholas A. Loehr - 2020 - Boca Raton: CRC Press, Taylor & Francis Group.
A logical introduction to proof.Daniel W. Cunningham - 2012 - New York: Springer.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
The science of learning mathematical proofs: an introductory course.Elana Reiser - 2021 - New Jersey: World Scientific.
Logic of Computation.Helmut Schwichtenberg, North Atlantic Treaty Organization & Nato Advanced Study Institute on Logic of Computation - 1997 - Boom Koninklijke Uitgevers.
Rigour and Proof.Oliver Tatton-Brown - 2023 - Review of Symbolic Logic 16 (2):480-508.

Analytics

Added to PP
2024-03-30

Downloads
8 (#1,310,468)

6 months
8 (#351,566)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references