Four Geometry Problems to Introduce Automated Deduction in Secondary Schools

Detalhes bibliográficos
Autor(a) principal: Quaresma, Pedro
Data de Publicação: 2022
Outros Autores: Santos, Vanda
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10316/103231
https://doi.org/10.4204/EPTCS.354.3
Resumo: In Proceedings ThEdu'21, arXiv:2202.02144
id RCAP_1f899a87d699efe3c11f681e25cf9099
oai_identifier_str oai:estudogeral.uc.pt:10316/103231
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Four Geometry Problems to Introduce Automated Deduction in Secondary SchoolsComputer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; I.2; K.3In Proceedings ThEdu'21, arXiv:2202.02144The 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.2022-02-08info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/10316/103231http://hdl.handle.net/10316/103231https://doi.org/10.4204/EPTCS.354.3eng2075-2180Quaresma, PedroSantos, Vandainfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-10-25T20:32:13Zoai:estudogeral.uc.pt:10316/103231Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:20:06.098342Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
title Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
spellingShingle Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
Quaresma, Pedro
Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; I.2; K.3
title_short Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
title_full Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
title_fullStr Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
title_full_unstemmed Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
title_sort Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
author Quaresma, Pedro
author_facet Quaresma, Pedro
Santos, Vanda
author_role author
author2 Santos, Vanda
author2_role author
dc.contributor.author.fl_str_mv Quaresma, Pedro
Santos, Vanda
dc.subject.por.fl_str_mv Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; I.2; K.3
topic Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; I.2; K.3
description In Proceedings ThEdu'21, arXiv:2202.02144
publishDate 2022
dc.date.none.fl_str_mv 2022-02-08
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10316/103231
http://hdl.handle.net/10316/103231
https://doi.org/10.4204/EPTCS.354.3
url http://hdl.handle.net/10316/103231
https://doi.org/10.4204/EPTCS.354.3
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 2075-2180
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799134094505803777

Registros relacionados