Lógica no Ensino Médio : introdução e aplicações

Detalhes bibliográficos
Autor(a) principal: Chaves, Ronaldo Rodrigues
Data de Publicação: 2014
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFABC
Texto Completo: http://biblioteca.ufabc.edu.br/index.php?codigo_sophia=77415
Resumo: Orientador: Prof. Dr. Ronaldo Rodrigues Chaves
id UFBC_31f5b0b7dcd1d382af322c1e733a5ef4
oai_identifier_str oai:BDTD:77415
network_acronym_str UFBC
network_name_str Repositório Institucional da UFABC
repository_id_str
spelling Lógica no Ensino Médio : introdução e aplicaçõesLÓGICAMATEMÁTICA - ESTUDO E ENSINOENSINO MÉDIOPROGRAMA DE PÓS-GRADUAÇÃO EM MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL (PROFMAT) - UFABCOrientador: Prof. Dr. Ronaldo Rodrigues ChavesDissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Mestrado Profissional em Matemática em Rede Nacional, 2014.Este trabalho apresenta uma introdução ao estudo de lógica, com a finalidade de auxiliar a compreensão das demonstrações matemáticas. Nele, apresentamos a linguagem do cálculo de predicados de primeira ordem (CPO), o sistema de lógica que estudaremos. Veremos o cálculo sentencial (CS), um subsistema do CPO que, embora mais restrito, possui ferramentas para resolver alguns problemas que, embora mais simples, possuem soluções similares as demonstrações matemáticas. Iniciaremos o estudo do CPO, verificando que suas regras de inferência são uma extensão das regras do CS. Por fim, veremos algumas aplicações do CPO na matemática e como adaptá-lo para ser utilizado no ensino básico, com o propósito de esclarecer o conceito e a estrutura das demonstrações matemáticas.This paper presents an introduction of the study of logic, in order to aid understanding of mathematical statements. Here, we present the language of predicate calculus of first order (CPO), the system of logic that will be studied. We will see the sentence calculus (CS), a subsystem of the CPO that although narrower, has tools to solve some problems, though simpler, solutions have similar mathematical statements. Beggining the study of CPO, checking their inference rules that are an extension of the rules of CS. Finally, we will see some applications of CPO in mathematics and how to adapt it for use in primary education, in order to clarify the concept and the structure of mathematical proofs.Lodovici, Sinuê Dayan BarberoBoero, Ana CarolinaTalpo, Humberto LuizMachado, Daniel MirandaLymberopoulos, AlexandreChaves, Ronaldo Rodrigues2014info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf88 f. : il.http://biblioteca.ufabc.edu.br/index.php?codigo_sophia=77415http://biblioteca.ufabc.edu.br/index.php?codigo_sophia=77415&midiaext=70880http://biblioteca.ufabc.edu.br/index.php?codigo_sophia=77415&midiaext=70879Cover: http://biblioteca.ufabc.edu.br/php/capa.php?obra=77415porreponame:Repositório Institucional da UFABCinstname:Universidade Federal do ABC (UFABC)instacron:UFABCinfo:eu-repo/semantics/openAccess2016-04-26T13:18:48Zoai:BDTD:77415Repositório InstitucionalPUBhttp://www.biblioteca.ufabc.edu.br/oai/oai.phpopendoar:2016-04-26T13:18:48Repositório Institucional da UFABC - Universidade Federal do ABC (UFABC)false
dc.title.none.fl_str_mv Lógica no Ensino Médio : introdução e aplicações
title Lógica no Ensino Médio : introdução e aplicações
spellingShingle Lógica no Ensino Médio : introdução e aplicações
Chaves, Ronaldo Rodrigues
LÓGICA
MATEMÁTICA - ESTUDO E ENSINO
ENSINO MÉDIO
PROGRAMA DE PÓS-GRADUAÇÃO EM MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL (PROFMAT) - UFABC
title_short Lógica no Ensino Médio : introdução e aplicações
title_full Lógica no Ensino Médio : introdução e aplicações
title_fullStr Lógica no Ensino Médio : introdução e aplicações
title_full_unstemmed Lógica no Ensino Médio : introdução e aplicações
title_sort Lógica no Ensino Médio : introdução e aplicações
author Chaves, Ronaldo Rodrigues
author_facet Chaves, Ronaldo Rodrigues
author_role author
dc.contributor.none.fl_str_mv Lodovici, Sinuê Dayan Barbero
Boero, Ana Carolina
Talpo, Humberto Luiz
Machado, Daniel Miranda
Lymberopoulos, Alexandre
dc.contributor.author.fl_str_mv Chaves, Ronaldo Rodrigues
dc.subject.por.fl_str_mv LÓGICA
MATEMÁTICA - ESTUDO E ENSINO
ENSINO MÉDIO
PROGRAMA DE PÓS-GRADUAÇÃO EM MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL (PROFMAT) - UFABC
topic LÓGICA
MATEMÁTICA - ESTUDO E ENSINO
ENSINO MÉDIO
PROGRAMA DE PÓS-GRADUAÇÃO EM MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL (PROFMAT) - UFABC
description Orientador: Prof. Dr. Ronaldo Rodrigues Chaves
publishDate 2014
dc.date.none.fl_str_mv 2014
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://biblioteca.ufabc.edu.br/index.php?codigo_sophia=77415
url http://biblioteca.ufabc.edu.br/index.php?codigo_sophia=77415
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv http://biblioteca.ufabc.edu.br/index.php?codigo_sophia=77415&midiaext=70880
http://biblioteca.ufabc.edu.br/index.php?codigo_sophia=77415&midiaext=70879
Cover: http://biblioteca.ufabc.edu.br/php/capa.php?obra=77415
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
88 f. : il.
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFABC
instname:Universidade Federal do ABC (UFABC)
instacron:UFABC
instname_str Universidade Federal do ABC (UFABC)
instacron_str UFABC
institution UFABC
reponame_str Repositório Institucional da UFABC
collection Repositório Institucional da UFABC
repository.name.fl_str_mv Repositório Institucional da UFABC - Universidade Federal do ABC (UFABC)
repository.mail.fl_str_mv
_version_ 1801502096095182848

Registros relacionados