Formalização do raciocínio lógico baseada na lógica matemática

Detalhes bibliográficos
Ano de defesa: 2014
Autor(a) principal: Vaz, Rodrigo Marques
Orientador(a): Tamarozzi, Antônio Carlos
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: Não Informado pela instituição
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://repositorio.ufms.br/handle/123456789/2333
Resumo: Neste trabalho estudamos os princípios da lógica matemática com o objetivo de descrever e fundamentar as principais técnicas de demonstrações matemáticas. A proposta foi motivada pela implantação da disciplina Raciocínio Lógico em todas as séries da Rede Estadual de Ensino de Mato Grosso do Sul, a partir do ano de 2014. Apresentamos um material de apoio para o professor desenvolver este tema no ensino básico, bem como contribuir para a elaboração de enunciados matemáticos mais precisos e a organização das suas demonstrações.