Mostrando 24 resultados

Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais

• BR SPCLEARQ AMACL-PI-05
• Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Um estudo semântico de alguns cálculos proposicionais

• BR SPCLEARQ AMACL-PI-01
• Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Questões para resolver em casa 1

• Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

O objeto da Lógica

• BR SPCLEARQ AMACL-PI-02
• Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Logique Mathématique

• BR SPCLEARQ AMACL-PI-04
• Unidad documental simple
• 18 abr. 1977

Parte deAndrea Maria Altino de Campos Loparic

Linguagem do Cálculo Sentencial

• BR SPCLEARQ AMACL-PI-06
• Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Lições de Lógica 1

• Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

La méthode des validations en Logique Propositionnelle Modale 1

• Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Introdução à Lógica de Predicados 1

• Unidad documental simple

Parte deAndrea Maria Altino de Campos Loparic

Duas aplicações da Teoria das Valorações

• BR SPCLEARQ AMACL-PI-03
• Unidad documental simple
• jan. 1995

Parte deAndrea Maria Altino de Campos Loparic

Definição de conjuntos decidíveis de valorações pela fatorização da linguagem

• BR SPCLEARQ AMACL-PI-07
• Unidad documental simple
• 1988

Parte deAndrea Maria Altino de Campos Loparic

Apostila de exercícios Lógica II

• BR SPCLEARQ AMACL-PI-08
• Unidad documental simple
• 1994

Parte deAndrea Maria Altino de Campos Loparic