Structured derivations: a unified proof style for teaching mathematics

DOI10.1007/S00165-009-0136-5MaRDI QIDQ607406zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3705887 (Why is no real title available?)
• scientific article; zbMATH DE number 517330 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• scientific article; zbMATH DE number 789390 (Why is no real title available?)
• A calculus of refinements for program derivations
• A formulation of the simple theory of types
• EWD1300: The notational conventions I adopted, and why
• How to Write a Proof
• On equivalents of well-foundedness. An experiment in MIZAR
• Simplify: a theorem prover for program checking
• Structured calculational proof
• Teaching Math More Effectively, Through Calculational Proofs

Cited in

(2)

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

Describes a project that uses

Uses Software

• HOL
• SIMPLIFY
• Isar
• Yices
• PVS

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)