Mostrando 261 resultados

Descrição arquivística
Ayda Ignez Arruda Ayda Ignez Arruda Inglês
Visualizar impressão Visualizar:

2 resultados com objetos digitais Exibir resultados com objetos digitais

Sistema DL
Sistema DL
Semântica para D1
Semântica para D1
Relevance Logic and the Schema of Separation
Relevance Logic and the Schema of Separation
Observações sobre um sistema sem a regra do modus ponens
Observações sobre um sistema sem a regra do modus ponens
Observações sobre os sistemas NFi
Observações sobre os sistemas NFi
O sistema A de Ackermann
O sistema A de Ackermann
Lógicas de conceitos inexatos
Lógicas de conceitos inexatos
Linguagem de Primeira Ordem
Linguagem de Primeira Ordem
Abstract da palestra Implicative Systems and Modus Ponens Rule
Abstract da palestra Implicative Systems and Modus Ponens Rule
Capítulo II - Teoria de conjuntos An
Capítulo II - Teoria de conjuntos An
Capítulo I - Introdução aos Conceitos Fundamentais
Capítulo I - Introdução aos Conceitos Fundamentais
Cálculos Implicativos Gerais
Cálculos Implicativos Gerais
Aspects of the Historical Development of Paraconsistent Logic
Aspects of the Historical Development of Paraconsistent Logic
A teoria de primeira ordem v
A teoria de primeira ordem v
Artigo cálculos proposicionais
Artigo cálculos proposicionais
Várias axiomáticas para o cálculo proposicional clássico
Várias axiomáticas para o cálculo proposicional clássico
Matrizes
Matrizes
Introdução: 3 – Matrizes
Introdução: 3 – Matrizes
Independência de axiomas
Independência de axiomas
Função de verdade e matrizes
Função de verdade e matrizes
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Capítulo I: Cálculo Proposicional
Capítulo I: Cálculo Proposicional
Capítulo II: Cálculo Proposicional
Capítulo II: Cálculo Proposicional
Cálculo Proposicional
Cálculo Proposicional
Cálculo de predicados de ordem superior
Cálculo de predicados de ordem superior
Aplicação de Matrizes
Aplicação de Matrizes
Carta de Luiz Paulo de Alcântara para AIA
Carta de Luiz Paulo de Alcântara para AIA
Carta de Maria da Graça Rodrigues
Carta de Maria da Graça Rodrigues
Carta de Luiz Paulo de Alcântara para AIA
Carta de Luiz Paulo de Alcântara para AIA
Exibindo 181-210 de 261 resultados