Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/103231
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Quaresma, Pedro | - |
dc.contributor.author | Santos, Vanda | - |
dc.date.accessioned | 2022-10-25T08:25:26Z | - |
dc.date.available | 2022-10-25T08:25:26Z | - |
dc.date.issued | 2022-02-08 | - |
dc.identifier.issn | 2075-2180 | pt |
dc.identifier.uri | https://hdl.handle.net/10316/103231 | - |
dc.description | In Proceedings ThEdu'21, arXiv:2202.02144 | pt |
dc.description.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. | pt |
dc.language.iso | eng | pt |
dc.relation | UID/CEC/00326/2020 | pt |
dc.relation | UIDB/00194/2020 | pt |
dc.rights | openAccess | pt |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | pt |
dc.subject | Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; I.2; K.3 | pt |
dc.title | Four Geometry Problems to Introduce Automated Deduction in Secondary Schools | pt |
dc.type | article | - |
degois.publication.firstPage | 27 | pt |
degois.publication.lastPage | 42 | pt |
degois.publication.title | Electronic Proceedings in Theoretical Computer Science, EPTCS | pt |
dc.peerreviewed | yes | pt |
dc.identifier.doi | 10.4204/EPTCS.354.3 | pt |
degois.publication.volume | 354 | pt |
dc.date.embargo | 2022-02-08 | * |
uc.date.periodoEmbargo | 0 | pt |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.grantfulltext | open | - |
item.openairetype | article | - |
item.languageiso639-1 | en | - |
item.fulltext | Com Texto completo | - |
item.cerifentitytype | Publications | - |
crisitem.project.grantno | Research Centre Didactics and Technology in the Education of Trainers | - |
crisitem.author.orcid | 0000-0001-7728-4935 | - |
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 26, 2024
WEB OF SCIENCETM
Citations
5
checked on Aug 2, 2024
Page view(s)
71
checked on Aug 27, 2024
Download(s)
43
checked on Aug 27, 2024
Google ScholarTM
Check
Altmetric
Altmetric
This item is licensed under a Creative Commons License