Mostrando 27 resultados

Apostila de exercícios Lógica II

• BR SPCLEARQ AMACL-PI-08
• Item
• 1994

Parte de Andrea Maria Altino de Campos Loparic

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

• BR SPCLEARQ AMACL-PI-07
• Item
• 1988

Parte de Andrea Maria Altino de Campos Loparic

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

• BR SPCLEARQ AMACL-PI-03
• Item
• jan. 1995

Parte de Andrea Maria Altino de Campos Loparic

Introdução à Lógica de Predicados 1

• Item

Parte de Andrea Maria Altino de Campos Loparic

La méthode des validations en Logique Propositionnelle Modale 1

• Item

Parte de Andrea Maria Altino de Campos Loparic

Lições de Lógica 1

• Item

Parte de Andrea Maria Altino de Campos Loparic

Linguagem do Cálculo Sentencial

• BR SPCLEARQ AMACL-PI-06
• Item

Parte de Andrea Maria Altino de Campos Loparic

Logique Mathématique

• BR SPCLEARQ AMACL-PI-04
• Item
• 18 abr. 1977

Parte de Andrea Maria Altino de Campos Loparic

O objeto da Lógica

• BR SPCLEARQ AMACL-PI-02
• Item

Parte de Andrea Maria Altino de Campos Loparic

Produção Intelectual

• BR SPCLEARQ AMACL-PI
• Série
• 1960-2022

Parte de Andrea Maria Altino de Campos Loparic

Questões para resolver em casa 1

• Item

Parte de Andrea Maria Altino de Campos Loparic

Um estudo semântico de alguns cálculos proposicionais

• BR SPCLEARQ AMACL-PI-01
• Item

Parte de Andrea Maria Altino de Campos Loparic

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

• BR SPCLEARQ AMACL-PI-05
• Item

Parte de Andrea Maria Altino de Campos Loparic