Understanding mathematical proof

MaRDI QIDQ5404512zbMATH OpenFDO

Authors John Taylor, Rowan Garnier

Publication date 24 March 2014

zbMATH Keywords

direct prooflogicmathematical inductionproofproof by contradictionproof using contrapositive

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01) Mathematics in general (00A05) Methodology of mathematics (00A35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics education (97-01) Logic (educational aspects) (97E30) Reasoning and proving in the mathematics classroom (97E50)

Recommendations

• The nuts and bolts of proofs.
• Building proofs. A practical guide
• scientific article; zbMATH DE number 47247
• scientific article; zbMATH DE number 7192329
• How to Prove It

Cited in

(6)

• Design patterns for mathematical proofs. A guide, in particular for computer scientists
• The mathematical proofs. Complete course with 127 solved exercises. With a preface by Gilles Dowek
• scientific article; zbMATH DE number 896237 (Why is no real title available?)
• Proof and Understanding in Mathematical Practice
• Mathematical induction: a powerful and elegant method of proof
• RIGOUR AND PROOF

This page was built for publication: Understanding mathematical proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404512)