Construções algorítmicas e demonstrações axiomáticas

Detalhes bibliográficos
Ano de defesa: 2013
Autor(a) principal: Lima, Luiza Maria Morais
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Estadual do Ceará
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: https://siduece.uece.br/siduece/trabalhoAcademicoPublico.jsf?id=88536
Resumo: <div style="">Nesse trabalho discutimos a utilização das provas e demonstrações através de procedimentos construtivos e lógicos, no sentido de reforçar a compreensão do aluno e obter um aprendizado mais concreto e completo. Para isso, estudamos diferentes tipos de demonstração, tais como Demonstração Direta, Por Contraposição/ Por Absurdo, Por Contradição, Por Indução e Exaustão, bem como os benefícios de suas aplicações durante as aulas de matemática e o uso de processos construtivos no processo de ensino e aprendizagem. Apresentamos alguns objetos matemáticos, analisando diferentes propostas de demonstrações e construções algorítmicas, que reforçam o experimento em sala de aula como ferramenta de ensino. Nosso objetivo é discutir a utilização das provas e demonstrações através de procedimentos construtivos e lógicos, no sentido de reforçar a compreensão do aluno no processo de aprendizagem na educação básica. Ao realizar demonstrações construtivas, os alunos podem experimentar, fazer conjecturas e dar um sentido ao conhecimento matemático antes de formalizá-lo.&nbsp;</div><div style="">Palavras-chave: Demonstrações, Processos Construtivos, Construções Algorítmicas, Algoritmos, Construções Geométricas.&nbsp;</div>