Publicação: Uma formalização via sistema matemático para o conjunto dos números naturais e inteiros
Carregando...
Arquivos
Tipo do documento
Data
Direito de acesso
Programa
Área do conhecimento
CNPQ::CIENCIAS EXATAS E DA TERRA
Título da Revista
ISSN da Revista
Título de Volume
Orientador
Coorientador
Resumo
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.
Abstract
Palavras-chave
Sistema numérico, Sistemas matemáticos, Números naturais, Números inteiros, Formalização
Citação
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.