Use este identificador para citar ou linkar para este item:
https://repositorio.ufu.br/handle/123456789/34900| ORCID: |  http://orcid.org/0000-0003-1036-1726 |
| Tipo do documento: | Trabalho de Conclusão de Curso |
| Tipo de acesso: | Acesso Aberto |
| Título: | Uma formalização via sistema matemático para o conjunto dos números naturais e inteiros |
| Autor(es): | Mendes, Amanda Vitória de Jesus |
| Primeiro orientador: | Moreira, João Carlos |
| Primeiro membro da banca: | Monte, Moisés Rodrigues Cirilo do |
| Segundo membro da banca: | Santos, Patrícia Borges dos |
| 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. |
| Palavras-chave: | Sistema numérico Sistemas matemáticos Números naturais Números inteiros Formalização |
| Área(s) do CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA |
| Idioma: | por |
| País: | Brasil |
| Editora: | Universidade Federal de Uberlândia |
| Referência: | 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 |
| Data de defesa: | 30-Mar-2022 |
| Aparece nas coleções: | TCC - Matemática (Ituiutaba / Pontal) |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| UmaFormalizaçãoVia.pdf | TCC | 665.74 kB | Adobe PDF |  Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.