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

Detalhes bibliográficos
Autor(a) principal: Vaz, Rodrigo Marques
Data de Publicação: 2014
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFMS
Texto Completo: 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.
id UFMS_74bc9bfce701ee31fe4901927a28038f
oai_identifier_str oai:repositorio.ufms.br:123456789/2333
network_acronym_str UFMS
network_name_str Repositório Institucional da UFMS
repository_id_str 2124
spelling 2015-07-20T20:16:04Z2021-09-30T19:57:40Z2014https://repositorio.ufms.br/handle/123456789/2333Neste 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.ABSTRACT - We study the principles of mathematical logic in order to describe and explain the main techniques of mathematical proofs. The proposal was motivated by the deployment of discipline Logical Reasoning in all series of the State Schools of Mato Grosso do Sul, from the year 2014 present a supporting material for teachers to do this in the basic education, as well as contributing for the development of more precise mathematical statements and the organization of their statements.porProposição (Lógica)Lógica Simbólica e MatemáticaRaciocínioProposition (Logic)Logic, Symbolic and MathematicalReasoningFormalização do raciocínio lógico baseada na lógica matemáticainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisTamarozzi, Antônio CarlosVaz, Rodrigo Marquesinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFMSinstname:Universidade Federal de Mato Grosso do Sul (UFMS)instacron:UFMSTHUMBNAILRodrigo Marques Vaz.pdf.jpgRodrigo Marques Vaz.pdf.jpgGenerated Thumbnailimage/jpeg1196https://repositorio.ufms.br/bitstream/123456789/2333/4/Rodrigo%20Marques%20Vaz.pdf.jpg03f59629bd0c742a85224c01fe9a28e9MD54ORIGINALRodrigo Marques Vaz.pdfRodrigo Marques Vaz.pdfapplication/pdf1107771https://repositorio.ufms.br/bitstream/123456789/2333/1/Rodrigo%20Marques%20Vaz.pdf7e6789f80e655ff992d28709b9c094a2MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://repositorio.ufms.br/bitstream/123456789/2333/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52TEXTRodrigo Marques Vaz.pdf.txtRodrigo Marques Vaz.pdf.txtExtracted texttext/plain0https://repositorio.ufms.br/bitstream/123456789/2333/3/Rodrigo%20Marques%20Vaz.pdf.txtd41d8cd98f00b204e9800998ecf8427eMD53123456789/23332021-09-30 15:57:40.549oai:repositorio.ufms.br:123456789/2333Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.ufms.br/oai/requestri.prograd@ufms.bropendoar:21242021-09-30T19:57:40Repositório Institucional da UFMS - Universidade Federal de Mato Grosso do Sul (UFMS)false
dc.title.pt_BR.fl_str_mv Formalização do raciocínio lógico baseada na lógica matemática
title Formalização do raciocínio lógico baseada na lógica matemática
spellingShingle Formalização do raciocínio lógico baseada na lógica matemática
Vaz, Rodrigo Marques
Proposição (Lógica)
Lógica Simbólica e Matemática
Raciocínio
Proposition (Logic)
Logic, Symbolic and Mathematical
Reasoning
title_short Formalização do raciocínio lógico baseada na lógica matemática
title_full Formalização do raciocínio lógico baseada na lógica matemática
title_fullStr Formalização do raciocínio lógico baseada na lógica matemática
title_full_unstemmed Formalização do raciocínio lógico baseada na lógica matemática
title_sort Formalização do raciocínio lógico baseada na lógica matemática
author Vaz, Rodrigo Marques
author_facet Vaz, Rodrigo Marques
author_role author
dc.contributor.advisor1.fl_str_mv Tamarozzi, Antônio Carlos
dc.contributor.author.fl_str_mv Vaz, Rodrigo Marques
contributor_str_mv Tamarozzi, Antônio Carlos
dc.subject.por.fl_str_mv Proposição (Lógica)
Lógica Simbólica e Matemática
Raciocínio
Proposition (Logic)
Logic, Symbolic and Mathematical
Reasoning
topic Proposição (Lógica)
Lógica Simbólica e Matemática
Raciocínio
Proposition (Logic)
Logic, Symbolic and Mathematical
Reasoning
description 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.
publishDate 2014
dc.date.issued.fl_str_mv 2014
dc.date.accessioned.fl_str_mv 2015-07-20T20:16:04Z
dc.date.available.fl_str_mv 2021-09-30T19:57:40Z
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 https://repositorio.ufms.br/handle/123456789/2333
url https://repositorio.ufms.br/handle/123456789/2333
dc.language.iso.fl_str_mv por
language por
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 Institucional da UFMS
instname:Universidade Federal de Mato Grosso do Sul (UFMS)
instacron:UFMS
instname_str Universidade Federal de Mato Grosso do Sul (UFMS)
instacron_str UFMS
institution UFMS
reponame_str Repositório Institucional da UFMS
collection Repositório Institucional da UFMS
bitstream.url.fl_str_mv https://repositorio.ufms.br/bitstream/123456789/2333/4/Rodrigo%20Marques%20Vaz.pdf.jpg
https://repositorio.ufms.br/bitstream/123456789/2333/1/Rodrigo%20Marques%20Vaz.pdf
https://repositorio.ufms.br/bitstream/123456789/2333/2/license.txt
https://repositorio.ufms.br/bitstream/123456789/2333/3/Rodrigo%20Marques%20Vaz.pdf.txt
bitstream.checksum.fl_str_mv 03f59629bd0c742a85224c01fe9a28e9
7e6789f80e655ff992d28709b9c094a2
8a4605be74aa9ea9d79846c1fba20a33
d41d8cd98f00b204e9800998ecf8427e
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFMS - Universidade Federal de Mato Grosso do Sul (UFMS)
repository.mail.fl_str_mv ri.prograd@ufms.br
_version_ 1815448055167582208

Registros relacionados