Mostrando 261 resultados

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

2 resultados com objetos digitais Mostrar os resultados com objetos digitais

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 II: Cálculo Proposicional
Capítulo II: Cálculo Proposicional
Capítulo I: Cálculo Proposicional
Capítulo I: 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
Rascunho de AIA
Rascunho de AIA
Lista de professores do IMECC
Lista de professores do IMECC
Cópia do telex enviado ao MEC
Cópia do telex enviado ao MEC
Ofício IMECC/DI-062/81
Ofício IMECC/DI-062/81
Manifestação da congregação do IMECC
Manifestação da congregação do IMECC
Manifestação de docentes do IMECC
Manifestação de docentes do IMECC
Processo n. 1817/81
Processo n. 1817/81
Mathematical Logic
Mathematical Logic
Introduction: A Short History of the Latin American Logic Symposia
Introduction: A Short History of the Latin American Logic Symposia
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
Transformadas no Cálculo Restrito de Predicados
Transformadas no Cálculo Restrito de Predicados
Sur une hiérarchies de systèmes formels
Sur une hiérarchies de systèmes formels
Sur un Théorème de Hilbert et Bernays
Sur un Théorème de Hilbert et Bernays
Resultados 31 até 60 de 261