Mostrando 24 resultados
Descrição arquivística12 resultados com objetos digitais Exibir resultados com objetos digitais
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais
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
Um estudo semântico de alguns cálculos proposicionais
Questões para resolver em casa 1
Questões para resolver em casa 1
O objeto da Lógica
O objeto da Lógica
Logique Mathématique
Logique Mathématique
Linguagem do Cálculo Sentencial
Linguagem do Cálculo Sentencial
Lições de Lógica 1
Lições de Lógica 1
La méthode des validations en Logique Propositionnelle Modale 1
La méthode des validations en Logique Propositionnelle Modale 1
Introdução à Lógica de Predicados 1
Introdução à Lógica de Predicados 1
Duas aplicações da Teoria das Valorações
Duas aplicações da Teoria das Valorações
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem
Apostila de exercícios Lógica II
Apostila de exercícios Lógica II