Formação dos conjuntos dos Números naturais e dos inteiros via relação de equivalência

Detalhes bibliográficos
Autor(a) principal: Oliveira, Ênio Eustáquio de
Data de Publicação: 2022
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFU
Texto Completo: https://repositorio.ufu.br/handle/123456789/38272
Resumo: This work aims to present the formal logical construction of the sets of natural numbers and integers, via Peano Axiomas. In the construction of integers, we use the concept of equivalence relationship and equivalence class.
id UFU_3840caedc51145af48dc735df104001c
oai_identifier_str oai:repositorio.ufu.br:123456789/38272
network_acronym_str UFU
network_name_str Repositório Institucional da UFU
repository_id_str
spelling Formação dos conjuntos dos Números naturais e dos inteiros via relação de equivalênciaFormation of sets of natural numbers and integers via equivalence relationConjunto dos números naturaisConjunto dos números inteirosAxiomas de peanoRelação de equivalênciaClasse de equivalência.Set of natural numbersSet of integersPeano axiomasEquivalence relationEquivalence classCNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICAThis work aims to present the formal logical construction of the sets of natural numbers and integers, via Peano Axiomas. In the construction of integers, we use the concept of equivalence relationship and equivalence class.Trabalho de Conclusão de Curso (Graduação)Este trabalho tem como objetivo apresentar a construção lógica formal dos conjuntos dos números naturais e dos inteiros, via Axiomas de Peano. Na construção dos inteiros, usamos o conceito de relação de equivalência e classe de equivalência.Universidade Federal de UberlândiaBrasilMatemáticaNogueira, Antônio Carloshttp://lattes.cnpq.br/4636011665304164Lopes, Érika Maria Chiocahttp://lattes.cnpq.br/0024613652139150Costa, Marisa de Souzahttp://lattes.cnpq.br/2924863246790594Oliveira, Ênio Eustáquio de2023-06-30T14:28:18Z2023-06-30T14:28:18Z2022-08-19info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisapplication/pdfOLIVEIRA, Ênio Eustáquio de. Formação dos conjuntos do números naturais e dos inteiros via relação de equivalência. 2022. 45 f. Trabalho de Conclusão de Curso (Graduação em Matemática) – Universidade Federal de Uberlândia, Uberlândia, 2023.https://repositorio.ufu.br/handle/123456789/38272porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFUinstname:Universidade Federal de Uberlândia (UFU)instacron:UFU2023-12-21T17:30:23Zoai:repositorio.ufu.br:123456789/38272Repositório InstitucionalONGhttp://repositorio.ufu.br/oai/requestdiinf@dirbi.ufu.bropendoar:2023-12-21T17:30:23Repositório Institucional da UFU - Universidade Federal de Uberlândia (UFU)false
dc.title.none.fl_str_mv Formação dos conjuntos dos Números naturais e dos inteiros via relação de equivalência
Formation of sets of natural numbers and integers via equivalence relation
title Formação dos conjuntos dos Números naturais e dos inteiros via relação de equivalência
spellingShingle Formação dos conjuntos dos Números naturais e dos inteiros via relação de equivalência
Oliveira, Ênio Eustáquio de
Conjunto dos números naturais
Conjunto dos números inteiros
Axiomas de peano
Relação de equivalência
Classe de equivalência.
Set of natural numbers
Set of integers
Peano axiomas
Equivalence relation
Equivalence class
CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA
title_short Formação dos conjuntos dos Números naturais e dos inteiros via relação de equivalência
title_full Formação dos conjuntos dos Números naturais e dos inteiros via relação de equivalência
title_fullStr Formação dos conjuntos dos Números naturais e dos inteiros via relação de equivalência
title_full_unstemmed Formação dos conjuntos dos Números naturais e dos inteiros via relação de equivalência
title_sort Formação dos conjuntos dos Números naturais e dos inteiros via relação de equivalência
author Oliveira, Ênio Eustáquio de
author_facet Oliveira, Ênio Eustáquio de
author_role author
dc.contributor.none.fl_str_mv Nogueira, Antônio Carlos
http://lattes.cnpq.br/4636011665304164
Lopes, Érika Maria Chioca
http://lattes.cnpq.br/0024613652139150
Costa, Marisa de Souza
http://lattes.cnpq.br/2924863246790594
dc.contributor.author.fl_str_mv Oliveira, Ênio Eustáquio de
dc.subject.por.fl_str_mv Conjunto dos números naturais
Conjunto dos números inteiros
Axiomas de peano
Relação de equivalência
Classe de equivalência.
Set of natural numbers
Set of integers
Peano axiomas
Equivalence relation
Equivalence class
CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA
topic Conjunto dos números naturais
Conjunto dos números inteiros
Axiomas de peano
Relação de equivalência
Classe de equivalência.
Set of natural numbers
Set of integers
Peano axiomas
Equivalence relation
Equivalence class
CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA
description This work aims to present the formal logical construction of the sets of natural numbers and integers, via Peano Axiomas. In the construction of integers, we use the concept of equivalence relationship and equivalence class.
publishDate 2022
dc.date.none.fl_str_mv 2022-08-19
2023-06-30T14:28:18Z
2023-06-30T14:28:18Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv OLIVEIRA, Ênio Eustáquio de. Formação dos conjuntos do números naturais e dos inteiros via relação de equivalência. 2022. 45 f. Trabalho de Conclusão de Curso (Graduação em Matemática) – Universidade Federal de Uberlândia, Uberlândia, 2023.
https://repositorio.ufu.br/handle/123456789/38272
identifier_str_mv OLIVEIRA, Ênio Eustáquio de. Formação dos conjuntos do números naturais e dos inteiros via relação de equivalência. 2022. 45 f. Trabalho de Conclusão de Curso (Graduação em Matemática) – Universidade Federal de Uberlândia, Uberlândia, 2023.
url https://repositorio.ufu.br/handle/123456789/38272
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 Uberlândia
Brasil
Matemática
publisher.none.fl_str_mv Universidade Federal de Uberlândia
Brasil
Matemática
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFU
instname:Universidade Federal de Uberlândia (UFU)
instacron:UFU
instname_str Universidade Federal de Uberlândia (UFU)
instacron_str UFU
institution UFU
reponame_str Repositório Institucional da UFU
collection Repositório Institucional da UFU
repository.name.fl_str_mv Repositório Institucional da UFU - Universidade Federal de Uberlândia (UFU)
repository.mail.fl_str_mv diinf@dirbi.ufu.br
_version_ 1805569698326118400