Skip navigation
  1. RI UFPE
  2. Trabalhos de Conclusão de Curso
  3. (CIn) Centro de Informática
  4. (CIn) - Coordenação de Ciência da Computação
  5. (TCC) - Ciência da Computação
Please use this identifier to cite or link to this item: https://repositorio.ufpe.br/handle/123456789/70099

Share on

Full metadata record
DC FieldValueLanguage
dc.contributor.advisorOLIVEIRA, Anjolina Grisi-
dc.contributor.authorLOUREIRO, Mateus Lucena-
dc.date.accessioned2026-08-14T16:00:04Z-
dc.date.available2026-08-14T16:00:04Z-
dc.date.issued2026-07-06-
dc.date.submitted2026-07-23-
dc.identifier.citationLOUREIRO, Mateus Lucena. Um estudo sobre a normalização de provas em dedução natural no fragmento proposicional. 2026. Trabalho de Conclusão de Curso (Ciência da computação) - Universidade Federal de Pernambuco, Recife, 2026.pt_BR
dc.identifier.urihttps://repositorio.ufpe.br/handle/123456789/70099-
dc.description.abstractO sistema de dedução natural proposto por Gentzen foi um dos principais avanços na formalização matemática proposta inicialmente por Hilbert e seu sistema axiomático. A criação desse sistema foi um dos primeiros passos para o estudo das deduções como um objeto da matemática, criando uma mudança de paradigma que permitiu o desenvolvimento da teoria de prova moderna. Prawitz, com seu estudo das normalizações de provas, foi capaz de provar características importantes sobre esse sistema, como sua consistência, atráves da análise da complexidade das provas, definida por ele como sendo a quantidade de "desvios" contidos numa derivação. Um estudo dos trabalhos desses dois matemáticos é aqui apresentada de forma intuitiva, menos rigorosa, com o objetivo de criar um material introdutório ao tema para a leitura de alunos de gradução iniciando seus aprendizados de lógica.pt_BR
dc.format.extent38p.pt_BR
dc.language.isoporpt_BR
dc.rightsopenAccesspt_BR
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/pt_BR
dc.subjectLógica Computacionalpt_BR
dc.subjectTeoria da Provapt_BR
dc.subjectMétodos Formaispt_BR
dc.subjectDedução Naturalpt_BR
dc.titleUm estudo sobre a normalização de provas em dedução natural no fragmento proposicionalpt_BR
dc.typebachelorThesispt_BR
dc.contributor.advisor-coCARVALHO, Ruan Vasconcelos Bezerra-
dc.contributor.authorLatteshttp://lattes.cnpq.br/6595019962774831pt_BR
dc.degree.levelGraduacaopt_BR
dc.contributor.advisorLatteshttp://lattes.cnpq.br/9932708325371272pt_BR
dc.description.abstractxThe natural deduction system proposed by Gentzen represented one of the major ad- vances in the program of mathematical formalization originally developed by Hilbert and his axiomatic approach. Its creation marked one of the first steps toward the study of deductions as mathematical objects in their own right, initiating a paradigm shift that paved the way for the development of modern proof theory. Through his work on proof normalization, Prawitz established important properties of this system, including its consistency, by analyzing the complexity of proofs, which he characterized in terms of the number of "detours" present in a derivation. This work presents an intuitive and less formal account of the contributions of these two mathematicians, with the goal of providing introductory material for undergraduate students beginning their study of logic.pt_BR
dc.subject.cnpqÁreas::Ciências Exatas e da Terra::Matemáticapt_BR
dc.degree.departament::(CIN-DCC) - Departamento de Ciência da Computaçãopt_BR
dc.degree.graduation::CIn-Curso de Ciência da Computaçãopt_BR
dc.degree.grantorUniversidade Federal de Pernambucopt_BR
dc.degree.localRecifept_BR
dc.contributor.advisor-coLatteshttp://lattes.cnpq.br/4294919792163013pt_BR
Appears in Collections:(TCC) - Ciência da Computação

Files in This Item:
File Description SizeFormat 
TCC Mateus Lucena Loureiro.pdf316.53 kBAdobe PDFView/Open


This item is protected by original copyright

View License
Show simple item record Recommend this item


This item is licensed under a Creative Commons License Creative Commons