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
Por favor, use este identificador para citar o enlazar este ítem: https://repositorio.ufpe.br/handle/123456789/53197

Comparte esta pagina

Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.advisorOLIVEIRA, Anjolina Grisi de-
dc.contributor.authorNASCIMENTO, Jefferson Elder da Mota-
dc.date.accessioned2023-10-25T13:59:26Z-
dc.date.available2023-10-25T13:59:26Z-
dc.date.issued2023-09-26-
dc.date.submitted2023-10-24-
dc.identifier.citationNASCIMENTO, Jefferson Elder da Mota. Introdução ao cálculo de sequentes de Gentzen. 2023. Trabalho de Conclusão de Curso (Ciência da Computação) – Universidade Federal de Pernambuco, Recife, 2023.pt_BR
dc.identifier.urihttps://repositorio.ufpe.br/handle/123456789/53197-
dc.description.abstractO cálculo de sequentes, desenvolvido por Gentzen no início do século, é uma ferramenta essencial na lógica matemática, usada para demonstrar a validade de argumentos ao resolver o desafio de verificar se uma fórmula segue logicamente de um conjunto de premissas. Isso é facilitado pelo uso de regras formais. Uma de suas maiores conquistas é o Teorema da Eliminação do Corte. Ao evitar a introdução arbitrária de cortes nas deduções, asseguramos que todas as provas válidas possam ser construídas sistematicamente, e nenhum argumento válido escape à nossa análise. Este trabalho se concentra em examinar o cálculo de sequentes de Gentzen, incluindo seus princípios fundamentais, regras de inferência e na introdução breve do Teorema da Eliminação do Corte, juntamente com suas implicações práticas e teóricas.pt_BR
dc.format.extent33p.pt_BR
dc.language.isoporpt_BR
dc.rightsopenAccesspt_BR
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/br/*
dc.subjectCálculo de sequentespt_BR
dc.subjectTeorema da Eliminação do Cortept_BR
dc.subjectLógica matemáticapt_BR
dc.titleIntrodução ao cálculo de sequentes de Gentzenpt_BR
dc.typebachelorThesispt_BR
dc.contributor.authorLatteshttp://lattes.cnpq.br/0014286209016971pt_BR
dc.degree.levelGraduacaopt_BR
dc.contributor.advisorLatteshttp://lattes.cnpq.br/9932708325371272pt_BR
dc.description.abstractxThe sequent calculus, developed by Gentzen in the early 20th century, is an essential tool in mathematical logic used to demonstrate the validity of arguments when addressing the challenge of verifying whether a formula logically follows from a set of premises. This is facilitated by the use of formal rules. One of its major achievements is the Cut Elimination Theorem. By avoiding the arbitrary introduction of cuts in deductions, we ensure that all valid proofs can be systematically constructed, and no valid argument escapes our analysis. This work focuses on examining Gentzen's sequent calculus, including its fundamental principles, inference rules, and a brief introduction to the Cut Elimination Theorem, along with its practical and theoretical implications.pt_BR
dc.subject.cnpqÁreas::Ciências Exatas e da Terrapt_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
Aparece en las colecciones: (TCC) - Ciência da Computação

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
TCC Jefferson Elder da Mota Nascimento.pdf1.25 MBAdobe PDFVista previa
Visualizar/Abrir


Este ítem está protegido por copyright original

Visualizar la licencia
Mostrar el registro sencillo del ítem Recomiende este ítem


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons