Por favor, use este identificador para citar o enlazar este ítem: https://repositorio.ufu.br/handle/123456789/34900
ORCID:  http://orcid.org/0000-0003-1036-1726
Tipo de documento: Trabalho de Conclusão de Curso
Tipo de acceso: Acesso Aberto
Título: Uma formalização via sistema matemático para o conjunto dos números naturais e inteiros
Autor: Mendes, Amanda Vitória de Jesus
Primer orientador: Moreira, João Carlos
Primer miembro de la banca: Monte, Moisés Rodrigues Cirilo do
Segundo miembro de la banca: Santos, Patrícia Borges dos
Resumen: Este 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.
Palabras clave: Sistema numérico
Sistemas matemáticos
Números naturais
Números inteiros
Formalização
Área (s) del CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA
Idioma: por
País: Brasil
Editora: Universidade Federal de Uberlândia
Cita: MENDES, 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.
URI: https://repositorio.ufu.br/handle/123456789/34900
Fecha de defensa: 30-mar-2022
Aparece en las colecciones:TCC - Matemática (Ituiutaba / Pontal)

Ficheros en este ítem:
Fichero Descripción TamañoFormato 
UmaFormalizaçãoVia.pdfTCC665.74 kBAdobe PDFVista previa
Visualizar/Abrir


Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.