Logic for high school mathematics teachers
Ramanujam, R. (2025) Logic for high school mathematics teachers. Bulletin of the European Association for Theoretical Computer Science, 147. pp. 5-15. ISSN 0252-9742
Preview |
Text
- Published Version
Download (132kB) | Preview |
Abstract
This article explores whether ideas from formal logic can make a meaningful contribution to school‑level mathematics education. It describes an effort with high school mathematics teachers in India to engage with logical concepts such as truth relative to a structure, building models for sets of sentences, the consistency of algebraic procedures, and reasoning about and systematically comparing algorithms used in schools. The broad aim was to involve teachers in using logical ideas to address students’ misconceptions and to support students in developing better reasoning about mathematical procedures.
| Item Type: | Article |
|---|---|
| Authors: | Ramanujam, R. |
| Document Language: | Language English |
| Subjects: | Social sciences Social sciences > Education Social sciences > Education > Elementary education Natural Sciences > Mathematics |
| Divisions: | Azim Premji University - Bengaluru > School of Arts and Sciences |
| Full Text Status: | Public |
| URI: | http://publications.azimpremjiuniversity.edu.in/id/eprint/6876 |
| Publisher URL: | https://bulletin.eatcs.org/index.php/beatcs/articl... |
Actions (login required)
![]() |
View Item |

