Busca Avançada
Use este identificador para citar ou linkar para este item: https://repository.ufrpe.br/handle/123456789/3637
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.advisorSilva, Thiago Dias Oliveira-
dc.contributor.authorSantos, Jhonata Avelar dos-
dc.date.accessioned2022-11-29T20:33:03Z-
dc.date.available2022-11-29T20:33:03Z-
dc.date.issued2021-07-29-
dc.identifier.citationSantos, Jhonata Avelar dos. Espaços de Chu: um modelo para lógica linear multiplicativa. 2021. 21 f. Trabalho de Conclusão de Curso (Licenciatura em Matemática) - Departamento de Matemática, Universidade Federal Rural de Pernambuco, Recife, 2021.pt_BR
dc.identifier.urihttps://repository.ufrpe.br/handle/123456789/3637-
dc.descriptionNeste trabalho, discutiremos sobre as propriedades de algumas estruturas, sendo elas: Teoria das categorias; espaços de Chu; Lógica Linear Multiplicativa(MLL Sigla em inglês), mais especificamente iremos percorrer brevemente as propriedades sobre essas estruturas, como definições e algumas construções derivadas, afim de exibir a Categoria dos espaços de Chu e todas as suas operações e partindo desses conhecimento modelar a MLL utilizando alguns sistemas de axiomas apropriados.pt_BR
dc.description.abstractIn this work, we will discuss about the properties of some structures, being them: Category theory; Chu spaces; Multiplicative Linear Logic (MLL), more specifically we will briefly go through the properties about these structures, such as definitions and some derived constructions, in order to build the Category of Chu spaces and all its operations and from this knowledge model MLL using some appropriate axiom systems.pt_BR
dc.format.extent21 f.pt_BR
dc.language.isoporpt_BR
dc.rightsopenAccesspt_BR
dc.rightsAtribuição 4.0 Internacional (CC BY 4.0)pt_BR
dc.rightshttps://creativecommons.org/licenses/by/4.0/deed.pt_BRpt_BR
dc.rightsopenAccesspt_BR
dc.rightsopenAccesspt_BR
dc.subjectCategorias (Matemática)pt_BR
dc.subjectTeoria das categoriaspt_BR
dc.subjectLógicapt_BR
dc.subjectEspaços de Chupt_BR
dc.titleEspaços de Chu: um modelo para lógica linear multiplicativa.pt_BR
dc.typebachelorThesispt_BR
dc.contributor.authorLatteshttp://lattes.cnpq.br/1576320990018768pt_BR
dc.contributor.advisorLatteshttp://lattes.cnpq.br/7439995985621562pt_BR
dc.degree.levelGraduacaopt_BR
dc.publisher.countryBrasilpt_BR
dc.degree.localRecifept_BR
dc.degree.grantorUniversidade Federal Rural de Pernambucopt_BR
dc.degree.graduationLicenciatura em Matemáticapt_BR
dc.degree.departamentDepartamento de Matemáticapt_BR
Aparece nas coleções:TCC - Licenciatura em Matemática (Sede)

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
tcc_jhonataavelardossantos.pdf278,34 kBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Visualizar estatísticas


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.