Fundamentos de lógica, conjuntos e números naturais

Detalhes bibliográficos
Ano de defesa: 2015
Autor(a) principal: Santos, Rafael Messias lattes
Orientador(a): Cardoso, José Anderson Valença
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 Sergipe
Programa de Pós-Graduação: Mestrado Profissional em Matemática
Departamento: Não Informado pela instituição
País: Brasil
Palavras-chave em Português:
Matemática
Lógica simbólica e matemática
Números naturais
Teoria dos conjuntos
Proposição
Noções de lógica
Equivalências lógicas
Noções de conjuntos
Especificações de conjuntos
Teoremas
Técnicas de prova
Axiomas de Peano
Palavras-chave em Inglês:
Logic notions
Equivalents logic
Notions of sets
Specifications of sets
Theorems
Techniques of proof
Natural numbers
Axioms of Peano
Área do conhecimento CNPq:
CIENCIAS EXATAS E DA TERRA::MATEMATICA
Link de acesso: https://ri.ufs.br/handle/riufs/6488
Resumo: The present work has as main objective to approach the fundaments of logic and the notions of sets in a narrow and elementary way, culminating in the construction of natural numbers. We present and advance, as far as possible, natural and intuitively, the concepts of propositions and open propositions, and the use of these in the speci cation sets, according with the axiom of the speci cation. We also present the logic connectives of open propositions and logic equivalences, relating them to the sets. We showed the concept of Theorem, as well as some forms of writing and demonstrations in the scope of the sets, and we used properties and relations of sets in the demonstration techniques. Our study ended with the construction of natural numbers and some of its properties, for example, the Relation Order.
id UFS-2_2e2db94945ee07e79cab4a4f1e2d4063
oai_identifier_str oai:ufs.br:riufs/6488
network_acronym_str UFS-2
network_name_str Repositório Institucional da UFS
repository_id_str
spelling Santos, Rafael MessiasCardoso, José Anderson Valençahttp://lattes.cnpq.br/74358476780923542017-09-27T19:46:16Z2017-09-27T19:46:16Z2015-08-28Santos, Rafael Messias. Fundamentos de lógica, conjuntos e números naturais. 2015. 122 f. Dissertação (Mestrado Profissional em Matemática) - Universidade Federal de Sergipe, São Cristóvão, 2015.https://ri.ufs.br/handle/riufs/6488The present work has as main objective to approach the fundaments of logic and the notions of sets in a narrow and elementary way, culminating in the construction of natural numbers. We present and advance, as far as possible, natural and intuitively, the concepts of propositions and open propositions, and the use of these in the speci cation sets, according with the axiom of the speci cation. We also present the logic connectives of open propositions and logic equivalences, relating them to the sets. We showed the concept of Theorem, as well as some forms of writing and demonstrations in the scope of the sets, and we used properties and relations of sets in the demonstration techniques. Our study ended with the construction of natural numbers and some of its properties, for example, the Relation Order.O presente trabalho tem como principal objetivo abordar os fundamentos de lógica e as noções de conjuntos de maneira estreita e elementar, culminando na constru- ção dos números naturais. Apresentamos, e progredimos na medida do possível, de forma natural e/ou intuitiva, os conceitos de proposições e proposições abertas, e o uso destes nas especi cações de conjuntos, de acordo com o axioma da especi cação. Apresentamos também os conectivos lógicos de proposições abertas e as equivalências lógicas, relacionando-os aos conjuntos. Mostramos o conceito de Teorema, bem como algumas formas de escritas e demonstrações no âmbito dos conjuntos, e utilizamos propriedades e relações de conjuntos nas técnicas de demonstração. Encerramos nosso estudo com a construção dos números naturais e algumas das suas principais propriedades, como por exemplo, a Relação de Ordem.Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESapplication/pdfporUniversidade Federal de SergipeMestrado Profissional em MatemáticaUFSBrasilMatemáticaLógica simbólica e matemáticaNúmeros naturaisTeoria dos conjuntosProposiçãoNoções de lógicaEquivalências lógicasNoções de conjuntosEspecificações de conjuntosTeoremasTécnicas de provaNúmeros naturaisAxiomas de PeanoLogic notionsEquivalents logicNotions of setsSpecifications of setsTheoremsTechniques of proofNatural numbersAxioms of PeanoCIENCIAS EXATAS E DA TERRA::MATEMATICAFundamentos de lógica, conjuntos e números naturaisinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFSinstname:Universidade Federal de Sergipe (UFS)instacron:UFSORIGINALRAFAEL_MESSIAS_SANTOS.pdfapplication/pdf996082https://ri.ufs.br/jspui/bitstream/riufs/6488/1/RAFAEL_MESSIAS_SANTOS.pdfe83061f3d08a533fa524a3aee3a57cf8MD51TEXTRAFAEL_MESSIAS_SANTOS.pdf.txtRAFAEL_MESSIAS_SANTOS.pdf.txtExtracted texttext/plain184151https://ri.ufs.br/jspui/bitstream/riufs/6488/2/RAFAEL_MESSIAS_SANTOS.pdf.txt82eb4e15a7629da43cb182814d5b78bdMD52THUMBNAILRAFAEL_MESSIAS_SANTOS.pdf.jpgRAFAEL_MESSIAS_SANTOS.pdf.jpgGenerated Thumbnailimage/jpeg1366https://ri.ufs.br/jspui/bitstream/riufs/6488/3/RAFAEL_MESSIAS_SANTOS.pdf.jpg7c980a01bc224a7c252904d2b7b9f9d0MD53riufs/64882017-12-18 18:37:17.011oai:ufs.br:riufs/6488Repositório InstitucionalPUBhttps://ri.ufs.br/oai/requestrepositorio@academico.ufs.bropendoar:2017-12-18T21:37:17Repositório Institucional da UFS - Universidade Federal de Sergipe (UFS)false
dc.title.por.fl_str_mv Fundamentos de lógica, conjuntos e números naturais
title Fundamentos de lógica, conjuntos e números naturais
spellingShingle Fundamentos de lógica, conjuntos e números naturais
Santos, Rafael Messias
Matemática
Lógica simbólica e matemática
Números naturais
Teoria dos conjuntos
Proposição
Noções de lógica
Equivalências lógicas
Noções de conjuntos
Especificações de conjuntos
Teoremas
Técnicas de prova
Números naturais
Axiomas de Peano
Logic notions
Equivalents logic
Notions of sets
Specifications of sets
Theorems
Techniques of proof
Natural numbers
Axioms of Peano
CIENCIAS EXATAS E DA TERRA::MATEMATICA
title_short Fundamentos de lógica, conjuntos e números naturais
title_full Fundamentos de lógica, conjuntos e números naturais
title_fullStr Fundamentos de lógica, conjuntos e números naturais
title_full_unstemmed Fundamentos de lógica, conjuntos e números naturais
title_sort Fundamentos de lógica, conjuntos e números naturais
author Santos, Rafael Messias
author_facet Santos, Rafael Messias
author_role author
dc.contributor.author.fl_str_mv Santos, Rafael Messias
dc.contributor.advisor1.fl_str_mv Cardoso, José Anderson Valença
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/7435847678092354
contributor_str_mv Cardoso, José Anderson Valença
dc.subject.por.fl_str_mv Matemática
Lógica simbólica e matemática
Números naturais
Teoria dos conjuntos
Proposição
Noções de lógica
Equivalências lógicas
Noções de conjuntos
Especificações de conjuntos
Teoremas
Técnicas de prova
Números naturais
Axiomas de Peano
topic Matemática
Lógica simbólica e matemática
Números naturais
Teoria dos conjuntos
Proposição
Noções de lógica
Equivalências lógicas
Noções de conjuntos
Especificações de conjuntos
Teoremas
Técnicas de prova
Números naturais
Axiomas de Peano
Logic notions
Equivalents logic
Notions of sets
Specifications of sets
Theorems
Techniques of proof
Natural numbers
Axioms of Peano
CIENCIAS EXATAS E DA TERRA::MATEMATICA
dc.subject.eng.fl_str_mv Logic notions
Equivalents logic
Notions of sets
Specifications of sets
Theorems
Techniques of proof
Natural numbers
Axioms of Peano
dc.subject.cnpq.fl_str_mv CIENCIAS EXATAS E DA TERRA::MATEMATICA
description The present work has as main objective to approach the fundaments of logic and the notions of sets in a narrow and elementary way, culminating in the construction of natural numbers. We present and advance, as far as possible, natural and intuitively, the concepts of propositions and open propositions, and the use of these in the speci cation sets, according with the axiom of the speci cation. We also present the logic connectives of open propositions and logic equivalences, relating them to the sets. We showed the concept of Theorem, as well as some forms of writing and demonstrations in the scope of the sets, and we used properties and relations of sets in the demonstration techniques. Our study ended with the construction of natural numbers and some of its properties, for example, the Relation Order.
publishDate 2015
dc.date.issued.fl_str_mv 2015-08-28
dc.date.accessioned.fl_str_mv 2017-09-27T19:46:16Z
dc.date.available.fl_str_mv 2017-09-27T19:46:16Z
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 Santos, Rafael Messias. Fundamentos de lógica, conjuntos e números naturais. 2015. 122 f. Dissertação (Mestrado Profissional em Matemática) - Universidade Federal de Sergipe, São Cristóvão, 2015.
dc.identifier.uri.fl_str_mv https://ri.ufs.br/handle/riufs/6488
identifier_str_mv Santos, Rafael Messias. Fundamentos de lógica, conjuntos e números naturais. 2015. 122 f. Dissertação (Mestrado Profissional em Matemática) - Universidade Federal de Sergipe, São Cristóvão, 2015.
url https://ri.ufs.br/handle/riufs/6488
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.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Sergipe
dc.publisher.program.fl_str_mv Mestrado Profissional em Matemática
dc.publisher.initials.fl_str_mv UFS
dc.publisher.country.fl_str_mv Brasil
publisher.none.fl_str_mv Universidade Federal de Sergipe
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFS
instname:Universidade Federal de Sergipe (UFS)
instacron:UFS
instname_str Universidade Federal de Sergipe (UFS)
instacron_str UFS
institution UFS
reponame_str Repositório Institucional da UFS
collection Repositório Institucional da UFS
bitstream.url.fl_str_mv https://ri.ufs.br/jspui/bitstream/riufs/6488/1/RAFAEL_MESSIAS_SANTOS.pdf
https://ri.ufs.br/jspui/bitstream/riufs/6488/2/RAFAEL_MESSIAS_SANTOS.pdf.txt
https://ri.ufs.br/jspui/bitstream/riufs/6488/3/RAFAEL_MESSIAS_SANTOS.pdf.jpg
bitstream.checksum.fl_str_mv e83061f3d08a533fa524a3aee3a57cf8
82eb4e15a7629da43cb182814d5b78bd
7c980a01bc224a7c252904d2b7b9f9d0
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFS - Universidade Federal de Sergipe (UFS)
repository.mail.fl_str_mv repositorio@academico.ufs.br
_version_ 1793351146436296704

Registros relacionados