\textit{Big ideas} from logic for mathematics and computing education

DOI10.1007/978-3-031-26689-8_6MaRDI QIDQ6132568zbMATH OpenFDO

Authors

Publication date 17 August 2023

Published in Logic and Its Applications (Search for Journal in Brave)

zbMATH Keywords

algorithmslogicmathematics educationhigh school mathematics curriculum

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Recommendations

• On the role of mathematical logic in mathematical education
• Contributions of Logical Analysis for Mathematics Education
• Keeping logic in the trivium of computer science: a teaching perspective
• scientific article; zbMATH DE number 4200163
• The Role of Logic in Teaching Proof

Cites work

• Examining the role of logic in teaching proof
• The Role of Logic in Teaching Proof
• The phenomenology of mathematical proof

Cited in

(1)

• scientific article; zbMATH DE number 5072506 (Why is no real title available?)

This page was built for publication: \textit{Big ideas} from logic for mathematics and computing education

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