How to prove it: a structured approach

Cambridge ; New York: Cambridge University Press (1994)
  Copy   BIBTEX

Abstract

Geared to preparing students to make the transition from solving problems to proving theorems, this text teachs them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5.

Categories

Keywords

Reprint years

2006, 2019

Call number

QA9.V38 2006

ISBN(s)

0521861241   1108439535   0521446635   0521441161
View all bargains

Buy this book

Links

PhilArchive



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

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

Mathematical logic.Ian Chiswell - 2007 - New York: Oxford University Press. Edited by Wilfrid Hodges.
Proofs and refutations: the logic of mathematical discovery.Imre Lakatos (ed.) - 1976 - New York: Cambridge University Press.
Mathematical logic: a course with exercises.René Cori - 2000 - New York: Oxford University Press. Edited by D. Lascar.
Modern logic: a text in elementary symbolic logic.Graeme Forbes - 1994 - New York: Oxford University Press.
Learning to reason: an introduction to logic, sets and relations.Nancy Rodgers - 2000 - New York: Wiley.
A concise introduction to mathematical logic.Wolfgang Rautenberg - 2006 - New York, NY: Springer.
Introduction to logic and to the methodology of the deductive sciences.Alfred Tarski - 1949 - New York: Oxford University Press. Edited by Jan Tarski.
Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.
Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.

Analytics

Added to PP
2009-01-28

Downloads
52 (#305,270)

6 months
3 (#965,065)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Teaching proving by coordinating aspects of proofs with students' abilities.Annie Selden & John Selden - 2009 - In Despina A. Stylianou, Maria L. Blanton & Eric J. Knuth (eds.), Teaching and learning proof across the grades: a K-16 perspective. New York: Routledge. pp. 339--354.
A Methodology for Teaching Logic-Based Skills to Mathematics Students.Arnold Cusmariu - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (3):259-292.
Structural Features in Ernst Schröder's Work. Part II.Davide Bondoni - 2012 - Logic and Logical Philosophy 21 (3):271-315.
Rigour, Proof and Soundness.Oliver M. W. Tatton-Brown - 2020 - Dissertation, University of Bristol

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references