Eventos

Palestrante

Prof. Sheila Regina Murgel Veloso

Cálculos com Grafos para inclusões relacionais

6 de junho de 2012, 4ª feira, às 16:00 h

Diagramas e figuras são importantes e úteis em diversos ramos cient íficos e no cotidiano. Grafos e diagramas fornecem visualização conveniente em muitas áreas. O apelo heurístico de diagramas é evidente. Apresentamos um cálculo refutacional com grafos para inclusões entre relações binárias. Com esse ferramental, estabelecer uma inclusão relacional se reduz a estabelecer que um grafo construído a partir dessa inclusão tem extensão vazia. A manipulação com grafos tem um aspecto lúdico, que torna o cálculo com grafos muito mais intuitivo que as manipulações algébricas usuais.