1701 resultados com objetos digitais Mostrar os resultados com objetos digitais
Andrea Maria Altino de Campos Loparic
O Fundo é composto por documentos que abrangem sua trajetória profissional e aspectos de sua vida pessoal. Inclui artigos, teses, fotografias, notícias, apostilas, entre outros documentos.
Andrea Maria Altino de Campos Loparic
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Documento de identidade de AIA. Ass.: Ayda Ignez Arruda.
Introdução à Lógica de Predicados
Questões para resolver em casa
La méthode des validations en Logique Propositionnelle Modale
Apostila de exercícios Lógica II
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
Linguagem do Cálculo Sentencial
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais
Um estudo semântico de alguns cálculos proposicionais
Duas aplicações da Teoria das Valorações