Formalização dos Números Racionais e Reais

Rangel, Pedro

Please use this identifier to cite or link to this item: https://repositorio.ufu.br/handle/123456789/34871

Full metadata record

DC Field	Value	Language
dc.creator	Rangel, Pedro	-
dc.date.accessioned	2022-04-19T19:57:12Z	-
dc.date.available	2022-04-19T19:57:12Z	-
dc.date.issued	2022-03-30	-
dc.identifier.citation	RANGEL, Pedro. Formalização dos Números Racionais e Reais. 2022. 116 f. Trabalho de Conclusão de Curso (Graduação em Matemática) – Universidade Federal de Uberlândia, Ituiutaba, 2022.	pt_BR
dc.identifier.uri	https://repositorio.ufu.br/handle/123456789/34871	-
dc.language	por	pt_BR
dc.publisher	Universidade Federal de Uberlândia	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Sistema Matemático	pt_BR
dc.subject	Sistema Numérico	pt_BR
dc.subject	Linguagem Formal	pt_BR
dc.title	Formalização dos Números Racionais e Reais	pt_BR
dc.type	Trabalho de Conclusão de Curso	pt_BR
dc.contributor.advisor1	Moreira, João Carlos	-
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/2973373201106446	pt_BR
dc.contributor.referee1	Monte, Moises Rodrigues Cirilo do	-
dc.contributor.referee1Lattes	http://lattes.cnpq.br/5276639810607060	pt_BR
dc.contributor.referee2	Santos, Patrícia Borges dos	-
dc.contributor.referee2Lattes	http://lattes.cnpq.br/9673972640536344	pt_BR
dc.description.degreename	Trabalho de Conclusão de Curso (Graduação)	pt_BR
dc.description.resumo	Neste trabalho realizamos um estudo sobre a formalização do sistema numérico dos números racionais e reais, tema este fundamental na Álgebra e nas demais áreas que se fundamentam em tais conjuntos. A iniciativa de escolher esse tema surgiu da realização de uma iniciação científica acerca da construção do conjunto dos números racionais, fazendo uso da linguagem formal de primeira e segunda ordem. A partir disto, foi proposto realizar um estudo a respeito da construção e formalização desses conjuntos. O objetivo deste trabalho é apresentar um estudo sobre a formalização dos sistemas numéricos dos números racionais e reais como sistemas matemáticos, trazendo uma construção formal por meio da linguagem lógica de primeira e segunda ordem. Primeiramente estudamos alguns conceitos que serviram de base para desenvolver as teorias propostas neste trabalho, e após isso, construir essas teorias com a devida formalidade. Sendo assim, essa pesquisa é de caráter bibliográfico e teve como principais referências: Bourbaki (1974); Chang (1990) e Keisler (1990); Deskins (1964); Moreira (2019); Hilbert (1950) e Ackermann (1950); Kennington (2020); Krapp (2014); Moreira (2020); Suppes (1960). Os resultados alcançados neste trabalho foram principalmente o desenvolvimento de conteúdos além dos vistos na graduação, a utilização de uma linguagem formal para construir as teorias propostas e também a proposta de utilizar uma metodologia que possibilite formalização de uma teoria.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.course	Matemática	pt_BR
dc.sizeorduration	116	pt_BR
dc.subject.cnpq	CNPQ::CIENCIAS EXATAS E DA TERRA	pt_BR
dc.orcid.putcode	111687964	-
Appears in Collections:	TCC - Matemática (Ituiutaba / Pontal)

Files in This Item:

File	Description	Size	Format
FormalizaçãoNúmerosRacionais.pdf	TCC	660.32 kB	Adobe PDF	View/Open

Show simple item record