Mostrando 261 resultados

Descripción archivística
Ayda Ignez Arruda Inglés
Imprimir vista previa Ver :

2 resultados con objetos digitales Muestra los resultados con objetos digitales

Caderno contendo anotações sobre lógicas relevante

  • BR SPCLEARQ FAIA-PIm-EL-IT434
  • Unidad documental simple
  • 1976-09-16 - 1976-10-07
  • Parte deAyda Ignez Arruda

Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.

Ayda Ignez Arruda

Estudos contendo tópicos sobre axiomas

Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Estudos analisando vários aspectos da lógica

  • BR SPCLEARQ FAIA-PIm-EL-IT431
  • Unidad documental simple
  • 1975-09-05
  • Parte deAyda Ignez Arruda

Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.

Ayda Ignez Arruda

Unidade de opostos

Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Sur l’ensemble R dans NFw

Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.

Ayda Ignez Arruda

Sobre o Sistema G1 de Gentzen

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

Ayda Ignez Arruda

Sobre a regra do Modus Ponens

Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Sistema DL

Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.

Ayda Ignez Arruda

Semântica para D1

Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

O sistema A de Ackermann

Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Lógicas de conceitos inexatos

Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms.

Ayda Ignez Arruda

Linguagem de Primeira Ordem

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Ayda Ignez Arruda

Abstract da palestra Implicative Systems and Modus Ponens Rule

  • BR SPCLEARQ FAIA-PIm-EL-IT412
  • Unidad documental simple
  • 1972-07
  • Parte deAyda Ignez Arruda

Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

Ayda Ignez Arruda

Resultados 1 a 30 de 261