Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos

Detalhes bibliográficos
Ano de defesa: 2017
Autor(a) principal: Peach, Glen
Orientador(a): Moura, Renato José de lattes
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 Federal de São Carlos
Câmpus São Carlos
Programa de Pós-Graduação: Programa de Mestrado Profissional em Matemática em Rede Nacional - PROFMAT
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Noções de conjuntos
Especificações de conjuntos
Cálculo dos predicados
Cálculo sentencial
Palavras-chave em Inglês:
Notions of sets
Set specifications
Predicate calculus
Sentential calculus
Área do conhecimento CNPq:
CIENCIAS EXATAS E DA TERRA::MATEMATICA
Link de acesso: https://repositorio.ufscar.br/handle/20.500.14289/9278
Resumo: The purpose of this work is to propose a method that allow to bring the fundamentals of mathematical logic to high school through the use of set theory, however making the whole approach of the subject through diagrams, making it possible to avoid, for the demonstrations and understanding necessary to the development of the subject, the rigors of writing used in mathematical logic, which, in a first contact, tend to discourage the interest of beginning students.
id SCAR_e6b03f7461c2730ca0343bed9a3aaaa9
oai_identifier_str oai:repositorio.ufscar.br:20.500.14289/9278
network_acronym_str SCAR
network_name_str Repositório Institucional da UFSCAR
repository_id_str
spelling Peach, GlenMoura, Renato José dehttp://lattes.cnpq.br/522790894929790442285b24-7ed6-42a2-b822-d5a8b850ed3d2018-01-24T12:21:46Z2018-01-24T12:21:46Z2017-05-05PEACH, Glen. Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos. 2017. Dissertação (Mestrado em Matemática em Rede Nacional) – Universidade Federal de São Carlos, São Carlos, 2017. Disponível em: https://repositorio.ufscar.br/handle/20.500.14289/9278.https://repositorio.ufscar.br/handle/20.500.14289/9278The purpose of this work is to propose a method that allow to bring the fundamentals of mathematical logic to high school through the use of set theory, however making the whole approach of the subject through diagrams, making it possible to avoid, for the demonstrations and understanding necessary to the development of the subject, the rigors of writing used in mathematical logic, which, in a first contact, tend to discourage the interest of beginning students.O objetivo deste trabalho é propor um método que permita levar os fundamentos da lógica matemática para o ensino médio por meio da utilização da teoria dos conjuntos, porém fazendo todo a aproximação do assunto utilizando diagramas, tornando possível evitar assim, para as demonstrações e o entendimento necessários ao desenvolvimento do assunto, os rigores da escrita utilizada na lógica matemática, que, em um primeiro contato, podem desestimular o interesse dos alunos iniciantesNão recebi financiamentoporUniversidade Federal de São CarlosCâmpus São CarlosPrograma de Mestrado Profissional em Matemática em Rede Nacional - PROFMATUFSCarNoções de conjuntosEspecificações de conjuntosCálculo dos predicadosCálculo sentencialNotions of setsSet specificationsPredicate calculusSentential calculusCIENCIAS EXATAS E DA TERRA::MATEMATICAVisualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisOnline600600010df237-e099-433b-8b5a-3e17e31a2311info:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFSCARinstname:Universidade Federal de São Carlos (UFSCAR)instacron:UFSCARORIGINALDissGP.pdfDissGP.pdfapplication/pdf3104844https://repositorio.ufscar.br/bitstreams/bc478639-cd42-4d1c-99e9-7b1cc6df8dbc/download2e20a531a8e46327359fb4eacc9adf50MD51trueAnonymousREADLICENSElicense.txtlicense.txttext/plain; charset=utf-81957https://repositorio.ufscar.br/bitstreams/23b3fa2b-1341-4707-be37-179da6078995/downloadae0398b6f8b235e40ad82cba6c50031dMD52falseAnonymousREADTEXTDissGP.pdf.txtDissGP.pdf.txtExtracted texttext/plain234967https://repositorio.ufscar.br/bitstreams/23346b9d-5426-4191-990e-930ed038e272/download3e7145e5d9b52df64f39d86af6550ec4MD55falseAnonymousREADTHUMBNAILDissGP.pdf.jpgDissGP.pdf.jpgIM Thumbnailimage/jpeg4179https://repositorio.ufscar.br/bitstreams/c6cc2237-d8cf-4314-82ca-276168b11d5d/downloadbf61687b273a466b5ef7d4b09fc4b64fMD56falseAnonymousREAD20.500.14289/92782025-02-05 17:39:01.201Acesso abertoopen.accessoai:repositorio.ufscar.br:20.500.14289/9278https://repositorio.ufscar.brRepositório InstitucionalPUBhttps://repositorio.ufscar.br/oai/requestrepositorio.sibi@ufscar.bropendoar:43222025-02-05T20:39:01Repositório Institucional da UFSCAR - Universidade Federal de São Carlos (UFSCAR)falseTElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEKCkNvbSBhIGFwcmVzZW50YcOnw6NvIGRlc3RhIGxpY2Vuw6dhLCB2b2PDqiAobyBhdXRvciAoZXMpIG91IG8gdGl0dWxhciBkb3MgZGlyZWl0b3MgZGUgYXV0b3IpIGNvbmNlZGUgw6AgVW5pdmVyc2lkYWRlCkZlZGVyYWwgZGUgU8OjbyBDYXJsb3MgbyBkaXJlaXRvIG7Do28tZXhjbHVzaXZvIGRlIHJlcHJvZHV6aXIsICB0cmFkdXppciAoY29uZm9ybWUgZGVmaW5pZG8gYWJhaXhvKSwgZS9vdQpkaXN0cmlidWlyIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyAoaW5jbHVpbmRvIG8gcmVzdW1vKSBwb3IgdG9kbyBvIG11bmRvIG5vIGZvcm1hdG8gaW1wcmVzc28gZSBlbGV0csO0bmljbyBlCmVtIHF1YWxxdWVyIG1laW8sIGluY2x1aW5kbyBvcyBmb3JtYXRvcyDDoXVkaW8gb3UgdsOtZGVvLgoKVm9jw6ogY29uY29yZGEgcXVlIGEgVUZTQ2FyIHBvZGUsIHNlbSBhbHRlcmFyIG8gY29udGXDumRvLCB0cmFuc3BvciBhIHN1YSB0ZXNlIG91IGRpc3NlcnRhw6fDo28KcGFyYSBxdWFscXVlciBtZWlvIG91IGZvcm1hdG8gcGFyYSBmaW5zIGRlIHByZXNlcnZhw6fDo28uCgpWb2PDqiB0YW1iw6ltIGNvbmNvcmRhIHF1ZSBhIFVGU0NhciBwb2RlIG1hbnRlciBtYWlzIGRlIHVtYSBjw7NwaWEgYSBzdWEgdGVzZSBvdQpkaXNzZXJ0YcOnw6NvIHBhcmEgZmlucyBkZSBzZWd1cmFuw6dhLCBiYWNrLXVwIGUgcHJlc2VydmHDp8Ojby4KClZvY8OqIGRlY2xhcmEgcXVlIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyDDqSBvcmlnaW5hbCBlIHF1ZSB2b2PDqiB0ZW0gbyBwb2RlciBkZSBjb25jZWRlciBvcyBkaXJlaXRvcyBjb250aWRvcwpuZXN0YSBsaWNlbsOnYS4gVm9jw6ogdGFtYsOpbSBkZWNsYXJhIHF1ZSBvIGRlcMOzc2l0byBkYSBzdWEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvIG7Do28sIHF1ZSBzZWphIGRlIHNldQpjb25oZWNpbWVudG8sIGluZnJpbmdlIGRpcmVpdG9zIGF1dG9yYWlzIGRlIG5pbmd1w6ltLgoKQ2FzbyBhIHN1YSB0ZXNlIG91IGRpc3NlcnRhw6fDo28gY29udGVuaGEgbWF0ZXJpYWwgcXVlIHZvY8OqIG7Do28gcG9zc3VpIGEgdGl0dWxhcmlkYWRlIGRvcyBkaXJlaXRvcyBhdXRvcmFpcywgdm9jw6oKZGVjbGFyYSBxdWUgb2J0ZXZlIGEgcGVybWlzc8OjbyBpcnJlc3RyaXRhIGRvIGRldGVudG9yIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBwYXJhIGNvbmNlZGVyIMOgIFVGU0NhcgpvcyBkaXJlaXRvcyBhcHJlc2VudGFkb3MgbmVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUKaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3Ugbm8gY29udGXDumRvIGRhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyBvcmEgZGVwb3NpdGFkYS4KCkNBU08gQSBURVNFIE9VIERJU1NFUlRBw4fDg08gT1JBIERFUE9TSVRBREEgVEVOSEEgU0lETyBSRVNVTFRBRE8gREUgVU0gUEFUUk9Dw41OSU8gT1UKQVBPSU8gREUgVU1BIEFHw4pOQ0lBIERFIEZPTUVOVE8gT1UgT1VUUk8gT1JHQU5JU01PIFFVRSBOw4NPIFNFSkEgQSBVRlNDYXIsClZPQ8OKIERFQ0xBUkEgUVVFIFJFU1BFSVRPVSBUT0RPUyBFIFFVQUlTUVVFUiBESVJFSVRPUyBERSBSRVZJU8ODTyBDT01PClRBTULDiU0gQVMgREVNQUlTIE9CUklHQcOHw5VFUyBFWElHSURBUyBQT1IgQ09OVFJBVE8gT1UgQUNPUkRPLgoKQSBVRlNDYXIgc2UgY29tcHJvbWV0ZSBhIGlkZW50aWZpY2FyIGNsYXJhbWVudGUgbyBzZXUgbm9tZSAocykgb3UgbyhzKSBub21lKHMpIGRvKHMpCmRldGVudG9yKGVzKSBkb3MgZGlyZWl0b3MgYXV0b3JhaXMgZGEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvLCBlIG7Do28gZmFyw6EgcXVhbHF1ZXIgYWx0ZXJhw6fDo28sIGFsw6ltIGRhcXVlbGFzCmNvbmNlZGlkYXMgcG9yIGVzdGEgbGljZW7Dp2EuCg==
dc.title.por.fl_str_mv Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos
title Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos
spellingShingle Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos
Peach, Glen
Noções de conjuntos
Especificações de conjuntos
Cálculo dos predicados
Cálculo sentencial
Notions of sets
Set specifications
Predicate calculus
Sentential calculus
CIENCIAS EXATAS E DA TERRA::MATEMATICA
title_short Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos
title_full Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos
title_fullStr Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos
title_full_unstemmed Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos
title_sort Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos
author Peach, Glen
author_facet Peach, Glen
author_role author
dc.contributor.author.fl_str_mv Peach, Glen
dc.contributor.advisor1.fl_str_mv Moura, Renato José de
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/5227908949297904
dc.contributor.authorID.fl_str_mv 42285b24-7ed6-42a2-b822-d5a8b850ed3d
contributor_str_mv Moura, Renato José de
dc.subject.por.fl_str_mv Noções de conjuntos
Especificações de conjuntos
Cálculo dos predicados
Cálculo sentencial
topic Noções de conjuntos
Especificações de conjuntos
Cálculo dos predicados
Cálculo sentencial
Notions of sets
Set specifications
Predicate calculus
Sentential calculus
CIENCIAS EXATAS E DA TERRA::MATEMATICA
dc.subject.eng.fl_str_mv Notions of sets
Set specifications
Predicate calculus
Sentential calculus
dc.subject.cnpq.fl_str_mv CIENCIAS EXATAS E DA TERRA::MATEMATICA
description The purpose of this work is to propose a method that allow to bring the fundamentals of mathematical logic to high school through the use of set theory, however making the whole approach of the subject through diagrams, making it possible to avoid, for the demonstrations and understanding necessary to the development of the subject, the rigors of writing used in mathematical logic, which, in a first contact, tend to discourage the interest of beginning students.
publishDate 2017
dc.date.issued.fl_str_mv 2017-05-05
dc.date.accessioned.fl_str_mv 2018-01-24T12:21:46Z
dc.date.available.fl_str_mv 2018-01-24T12:21:46Z
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.citation.fl_str_mv PEACH, Glen. Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos. 2017. Dissertação (Mestrado em Matemática em Rede Nacional) – Universidade Federal de São Carlos, São Carlos, 2017. Disponível em: https://repositorio.ufscar.br/handle/20.500.14289/9278.
dc.identifier.uri.fl_str_mv https://repositorio.ufscar.br/handle/20.500.14289/9278
identifier_str_mv PEACH, Glen. Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos. 2017. Dissertação (Mestrado em Matemática em Rede Nacional) – Universidade Federal de São Carlos, São Carlos, 2017. Disponível em: https://repositorio.ufscar.br/handle/20.500.14289/9278.
url https://repositorio.ufscar.br/handle/20.500.14289/9278
dc.language.iso.fl_str_mv por
language por
dc.relation.confidence.fl_str_mv 600
600
dc.relation.authority.fl_str_mv 010df237-e099-433b-8b5a-3e17e31a2311
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de São Carlos
Câmpus São Carlos
dc.publisher.program.fl_str_mv Programa de Mestrado Profissional em Matemática em Rede Nacional - PROFMAT
dc.publisher.initials.fl_str_mv UFSCar
publisher.none.fl_str_mv Universidade Federal de São Carlos
Câmpus São Carlos
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSCAR
instname:Universidade Federal de São Carlos (UFSCAR)
instacron:UFSCAR
instname_str Universidade Federal de São Carlos (UFSCAR)
instacron_str UFSCAR
institution UFSCAR
reponame_str Repositório Institucional da UFSCAR
collection Repositório Institucional da UFSCAR
bitstream.url.fl_str_mv https://repositorio.ufscar.br/bitstreams/bc478639-cd42-4d1c-99e9-7b1cc6df8dbc/download
https://repositorio.ufscar.br/bitstreams/23b3fa2b-1341-4707-be37-179da6078995/download
https://repositorio.ufscar.br/bitstreams/23346b9d-5426-4191-990e-930ed038e272/download
https://repositorio.ufscar.br/bitstreams/c6cc2237-d8cf-4314-82ca-276168b11d5d/download
bitstream.checksum.fl_str_mv 2e20a531a8e46327359fb4eacc9adf50
ae0398b6f8b235e40ad82cba6c50031d
3e7145e5d9b52df64f39d86af6550ec4
bf61687b273a466b5ef7d4b09fc4b64f
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSCAR - Universidade Federal de São Carlos (UFSCAR)
repository.mail.fl_str_mv repositorio.sibi@ufscar.br
_version_ 1851688766308089856

Registros relacionados