Calculo De Predicados
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Maquina de clausulas : arquitetura e modelo de execucao de clausulas prolog / Clause machines : architecture and prolog clauses execution model
Este trabalho define um modelo de execução para clausulas Prolog, a partir do modelo abstrato de Maquinas de Cláusulas, e o Projeto de uma arquitetura paralela que suporte o modelo proposto. São também introduzidos alguns aspectos sobre as linguagens Lógicas e as maquinas Prolog visto que estes elementos estão relacionados intimamente tanto com o mode
Publicado em: 2010
-
2. Abstraction of infinite and communicating CSPZ processes
Esta tese trata de um problema muito comum em verificaÃÃo formal: explosÃo de estados. O problema desabilita a verificaÃÃo automÃtica de propriedades atravÃs da verificaÃÃo de modelos. Isto à superado pelo uso de abstraÃÃo de dados, em que o espaÃo de estados de umsistema à reduzido usandoumprincÃpio simples: descartando detalhes de tal forma
Publicado em: 2009
-
3. Um Tratamento dos Grafos Existenciais na Obra de Charles Sanders Peirce
O objetivo deste trabalho é apresentar os Grafos Existenciais de nível alfa e beta de Charles Sanders Peirce. Primeiramente, tratamos da origem dos grafos propriamente dito; depois de suas regras de formações, regras de transformações e relações com o cálculo sentencial e o cálculo de predicados clássico
Publicado em: 2006
-
4. Normalização forte via ordinal natural
Não informado
Publicado em: 1999