Mostrando 5150 resultados

Descrição arquivística
Visualizar impressão Visualizar:

1786 resultados com objetos digitais Exibir resultados com objetos digitais

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
Estudo de AIA sobre dualidade entre C1 e C1
Estudo de AIA sobre dualidade entre C1 e C1
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Estudo de AIA Teoremas em Cw
Estudo de AIA Teoremas em Cw
Estudo de AIA, Sobre a Lógica da Vaguidade
Estudo de AIA, Sobre a Lógica da Vaguidade
Estudo de AIA Desenvolvimento de C1
Estudo de AIA Desenvolvimento de C1
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Estudo de AIA sobre a silogística de Vasil'év
Estudo de AIA sobre a silogística de Vasil'év
Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic
Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic
Estudo de AIA sem título
Estudo de AIA sem título
Exibindo 4921-4950 de 5150 resultados