Logica Simbolica E Matematica Teses
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
2. Proposta de aprendizagem sobre a importância do desenho geométrico e da geometria descritiva
O Desenho Geométrico tem relação com conteúdos de matemática, principalmente das geometrias, do ensino fundamental. Com a Geometria Descritiva forma um conjunto que se relaciona com a Geometria Espacial, no ensino médio, e com diversas disciplinas dos núcleos básico e de aplicação no ensino superior, especificamente na área de ciências exatas. Em
Publicado em: 2006
-
3. Um verificador de modelos explícito-simbólico
Neste trabalho, propomos uma modelagem que combina representações explícitas e simbólicas em um modelo de verificação formal explícito-simbólico. Os modelos explícitos e simbólicos têm sido usados com sucesso na verificação de sistemas concorrentes de estados finitos, como circuitos sequenciais complexos e protocolos de comunicação. A modelage
Publicado em: 2005