Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/103231
Título: | Four Geometry Problems to Introduce Automated Deduction in Secondary Schools | Autor: | Quaresma, Pedro Santos, Vanda |
Palavras-chave: | Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; I.2; K.3 | Data: | 8-Fev-2022 | Projeto: | UID/CEC/00326/2020 UIDB/00194/2020 |
Título da revista, periódico, livro ou evento: | Electronic Proceedings in Theoretical Computer Science, EPTCS | Volume: | 354 | Resumo: | 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. | Descrição: | In Proceedings ThEdu'21, arXiv:2202.02144 | URI: | https://hdl.handle.net/10316/103231 | ISSN: | 2075-2180 | DOI: | 10.4204/EPTCS.354.3 | Direitos: | openAccess |
Aparece nas coleções: | I&D CISUC - Artigos em Revistas Internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Four-Geometry-Problems-to-Introduce-Automated-Deduction-in-Secondary-SchoolsElectronic-Proceedings-in-Theoretical-Computer-Science-EPTCS.pdf | 624.9 kB | Adobe PDF | Ver/Abrir |
Citações SCOPUSTM
4
Visto em 15/jul/2024
Citações WEB OF SCIENCETM
4
Visto em 2/jul/2024
Visualizações de página
60
Visto em 23/jul/2024
Downloads
34
Visto em 23/jul/2024
Google ScholarTM
Verificar
Altmetric
Altmetric
Este registo está protegido por Licença Creative Commons