Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Lopes, Bruno | - |
Autor(es): dc.contributor | Freitas, Renata de | - |
Autor(es): dc.contributor | Benevides, Mario Roberto Folhadela | - |
Autor(es): dc.contributor | Oliveira, Daniel Cardoso Moraes de | - |
Autor(es): dc.creator | Figueiredo, Igor Cruz | - |
Data de aceite: dc.date.accessioned | 2024-07-11T17:46:56Z | - |
Data de disponibilização: dc.date.available | 2024-07-11T17:46:56Z | - |
Data de envio: dc.date.issued | 2023-02-13 | - |
Data de envio: dc.date.issued | 2023-02-13 | - |
Fonte completa do material: dc.identifier | http://app.uff.br/riuff/handle/1/27881 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/757367 | - |
Descrição: dc.description | O presente projeto tem como objetivo apresentar um provador de teoremas para o fragmento geométrico do basic graph logic (BGL). BGL é um sistema de prova com diagramas para os problemas de validade e consequência no Cálculo Relacional com relações binárias, representando as relações em dígrafos com multiarestas rotuladas e dois nós distinguidos denominados entrada e saída do grafo. Além do provador de teoremas, também são apresentados algoritmos para encontrar homomorfismo entre grafos (necessários para a prova diagramática) e a interface construída para permitir a visualização da prova | - |
Descrição: dc.description | This project aims to present a theorem prover for the geometric fragment of basic graph logic (BGL). BGL is a diagrammatic proof system for validity and consequence problems in Relational Calculus with binary relations, representing relations in digraphs with labeled multi-edges and two distinguished nodes called input and output of the graph. In addition to the theorem prover, algorithms to find homomorphism between graphs (necessary for the diagrammatic proof) and the interface built to allow the visualization of the proof are also presented | - |
Descrição: dc.description | 85 p. | - |
Formato: dc.format | application/pdf | - |
Idioma: dc.language | pt_BR | - |
Direitos: dc.rights | Open Access | - |
Direitos: dc.rights | CC-BY-SA | - |
Palavras-chave: dc.subject | Cálculo relacional | - |
Palavras-chave: dc.subject | Grafos | - |
Palavras-chave: dc.subject | Provador | - |
Palavras-chave: dc.subject | Grafo | - |
Palavras-chave: dc.subject | Algoritmo | - |
Palavras-chave: dc.subject | Relational calculus | - |
Palavras-chave: dc.subject | Graphs | - |
Palavras-chave: dc.subject | Prover | - |
Título: dc.title | Provador de teoremas para GeoBGL | - |
Tipo de arquivo: dc.type | Trabalho de conclusão de curso | - |
Aparece nas coleções: | Repositório Institucional da Universidade Federal Fluminense - RiUFF |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: