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

DOI10.1007/978-3-031-26689-8_6MaRDI QIDQ6132568FDOQ6132568

Authors:

Publication date: 17 August 2023

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

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
• The Role of Logic in Teaching Proof

zbMATH Keywords

algorithmslogicmathematics educationhigh school mathematics curriculum

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• Title not available (Why is that?)

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)