Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
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: