Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
Autor(a) principal: | |
---|---|
Data de Publicação: | 2022 |
Outros Autores: | |
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 |