1. Repositório Institucional - Universidade Federal de Uberlândia
  2. Instituto de Ciências Exatas e Naturais do Pontal (ICENP / Pontal)
  3. TCC - Matemática (Ituiutaba / Pontal)
Please use this identifier to cite or link to this item: https://repositorio.ufu.br/handle/123456789/34900
Full metadata record
DC FieldValueLanguage
dc.creatorMendes, Amanda Vitória de Jesus-
dc.date.accessioned2022-04-25T15:04:06Z-
dc.date.available2022-04-25T15:04:06Z-
dc.date.issued2022-03-30-
dc.identifier.citationMENDES, Amanda Vitória de Jesus. Uma formalização via sistema matemático para o conjunto dos números naturais e inteiros. 2022. 55 f. Trabalho de Conclusão de Curso (Graduação em Matemática) – Universidade Federal de Uberlândia, Ituiutaba, 2022.pt_BR
dc.identifier.urihttps://repositorio.ufu.br/handle/123456789/34900-
dc.languageporpt_BR
dc.publisherUniversidade Federal de Uberlândiapt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectSistema numéricopt_BR
dc.subjectSistemas matemáticospt_BR
dc.subjectNúmeros naturaispt_BR
dc.subjectNúmeros inteirospt_BR
dc.subjectFormalizaçãopt_BR
dc.titleUma formalização via sistema matemático para o conjunto dos números naturais e inteirospt_BR
dc.typeTrabalho de Conclusão de Cursopt_BR
dc.contributor.advisor1Moreira, João Carlos-
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/2973373201106446pt_BR
dc.contributor.referee1Monte, Moisés Rodrigues Cirilo do-
dc.contributor.referee1Latteshttp://lattes.cnpq.br/5276639810607060pt_BR
dc.contributor.referee2Santos, Patrícia Borges dos-
dc.contributor.referee2Latteshttp://lattes.cnpq.br/9673972640536344pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/7641130706954076pt_BR
dc.description.degreenameTrabalho de Conclusão de Curso (Graduação)pt_BR
dc.description.resumoEste trabalho tem como objetivo estudar os conceitos de sistemas formais, formalizar o sistema numérico dos números naturais e inteiros, baseando-se no conceito de sistemas matemáticos e na linguagem de primeira ordem. A formalização desses sistemas permitirá compreender o processo de formalização de outros sistemas numéricos. O presente trabalho foi desenvolvido em um projeto de iniciação científica, após a necessidade de se fazer uma iniciação científica dentro do Programa de Educação Tutorial (PET). A pesquisa teve caráter bibliográfico tendo como base a referência MOREIRA (2020). Os resultados obtidos foram a formalização do sistema numérico dos números naturais e inteiros e o desenvolvimento dos conceitos que são abordados em Álgebra e Lógica Matemática. A pesquisa contribuirá para a formação da graduanda, leitores e futuros pesquisadores em Matemática.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.courseMatemáticapt_BR
dc.sizeorduration55pt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRApt_BR
dc.orcid.putcode112049128-
Appears in Collections:TCC - Matemática (Ituiutaba / Pontal)

Files in This Item:
File Description SizeFormat 
UmaFormalizaçãoVia.pdfTCC665.74 kBAdobe PDFThumbnail
View/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.