Formação dos conjuntos dos Números naturais e dos inteiros via relação de equivalência
Autor(a) principal: | |
---|---|
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_ |
1813711547184185344 |