Structured derivations: a unified proof style for teaching mathematics

DOI10.1007/S00165-009-0136-5zbMATH Open1217.03043OpenAlexW2031462151MaRDI QIDQ607406FDOQ607406

Authors: Ralph-Johan Back 

Publication date: 22 November 2010

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-009-0136-5

Recommendations

• Structured calculational proof
• Structuring Mathematical Proofs
• On calculational proofs
• How to write a 21\(^{\text{st}}\) century proof
• How to Write a Proof

zbMATH Keywords

sequent calculusDijkstra's calculational proofsGentzen-style proofshigh-school mathematicsHilbert-style proofsproof formatproof stylesstructured derivationsteaching mathematics

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Proof theory in general (including proof-theoretic semantics) (03F03) Mechanization of proofs and logical operations (03B35) Reasoning and proving in the mathematics classroom (97E50) Language of mathematics (educational aspects) (97E40)

Cites Work

• Simplify: a theorem prover for program checking
• Title not available (Why is that?)
• A formulation of the simple theory of types
• On equivalents of well-foundedness. An experiment in MIZAR
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• How to Write a Proof
• A calculus of refinements for program derivations
• Structured calculational proof
• EWD1300: The notational conventions I adopted, and why
• Teaching Math More Effectively, Through Calculational Proofs

Cited In (2)

• Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
• Structuring Mathematical Proofs

Uses Software

• PVS
• Yices
• Isar
• SIMPLIFY
• HOL

This page was built for publication: Structured derivations: a unified proof style for teaching mathematics

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