Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/103231
Title: | Four Geometry Problems to Introduce Automated Deduction in Secondary Schools | Authors: | Quaresma, Pedro Santos, Vanda |
Keywords: | Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; I.2; K.3 | Issue Date: | 8-Feb-2022 | Project: | UID/CEC/00326/2020 UIDB/00194/2020 |
Serial title, monograph or event: | Electronic Proceedings in Theoretical Computer Science, EPTCS | Volume: | 354 | Abstract: | The introduction of automated deduction systems in secondary schools face several bottlenecks, the absence of the subject of rigorous mathematical demonstrations in the curricula, the lack of knowledge by the teachers about the subject and the difficulty of tackling the task by automatic means. Despite those difficulties we claim that the subject of automated deduction in geometry can be introduced, by addressing it in particular cases: simple to manipulate by students and teachers and reasonably easy to be dealt by automatic deduction tools. The subject is discussed by addressing four secondary schools geometry problems: their rigorous proofs, visual proofs, numeric proofs, algebraic formal proofs, synthetic formal proofs, or the lack of them. For these problems we discuss a lesson plan to address them with the help of Information and Communications Technology, more specifically, automated deduction tools. | Description: | In Proceedings ThEdu'21, arXiv:2202.02144 | URI: | https://hdl.handle.net/10316/103231 | ISSN: | 2075-2180 | DOI: | 10.4204/EPTCS.354.3 | Rights: | openAccess |
Appears in Collections: | I&D CISUC - Artigos em Revistas Internacionais |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Four-Geometry-Problems-to-Introduce-Automated-Deduction-in-Secondary-SchoolsElectronic-Proceedings-in-Theoretical-Computer-Science-EPTCS.pdf | 624.9 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
5
checked on Aug 12, 2024
WEB OF SCIENCETM
Citations
5
checked on Aug 2, 2024
Page view(s)
67
checked on Aug 13, 2024
Download(s)
41
checked on Aug 13, 2024
Google ScholarTM
Check
Altmetric
Altmetric
This item is licensed under a Creative Commons License