Mostrando 261 resultados

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

2 resultados con objetos digitales Muestra los resultados con objetos digitales

Cálculos Implicativos Gerais

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

Sin título

Linguagem de Primeira Ordem

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

Sin título

O sistema A de Ackermann

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

Sin título

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.

Sin título

Transformadas no Cálculo Restrito de Predicados

  • BR SPCLEARQ FAIA-Impr-IT505
  • Unidad documental simple
  • 1966-12,
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

Sin título

Aerograma de Ken para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT297
  • Unidad documental simple
  • ? - 1982-12-25
  • Parte deAyda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, informando sobre o seu estado de saúde. Annapolis, 25 dez. 1982. Ass.: Ken. 1p. ms.

Sin título

Carta de Marek Palasinski para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT310
  • Unidad documental simple
  • ? - 1982-02-03
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Marek Palasinski para AIA, comunicando dificuldades políticas na Polônia e remetendo endereço e nome de acompanhante de viagem para AIA. Cracóvia, 03 fev. 1982. Ass.: Marek. 1p. ms.

Sin título

Carta de Maria da Graça Rodrigues

Carta de Maria da Graça Rodrigues, coordenadora do Seminário Castelan, para AIA, comunicando a da data da palestra de AIA. Departamento de Matemática da Universidade Federal de Santa Catarina, [198-]. Ass.: M. Rodrigues. 1p. dat.

Sin título

Carta de Oswaldo Porchat Pereira para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT318
  • Unidad documental simple
  • ? - 1983-07-03
  • Parte deAyda Ignez Arruda

Carta de Oswaldo Porchat Pereira para AIA, falando-lhe sobre sua estada em Londres e perguntando sobre as atividades de AIA. Londres, 03 jul. 1983. Ass.: Porchat. 1p. dat.

Sin título

Carta de Paolo Bottura para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT319
  • Unidad documental simple
  • ? - 1982-05-05
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Paolo Bottura para AIA, informando sobre trabalho científico e solicitando cópia de artigos. Montalto Dora, 05 maio 1982. Ass.: Paolo Bottura. 1p. dat.

Sin título

Carta de Paolo Bottura para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT320
  • Unidad documental simple
  • ? - 1982-03-12
  • Parte deAyda Ignez Arruda

Carta, em inglês, de Paolo Bottura para AIA, expondo questões sobre um artigo de Ayda. Montalto Dora, 12 mar. 1982. Ass.: Paolo Bottura. 2p. dat.

Sin título

Aplicação de Matrizes

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

Sin título

Introdução: 3 – Matrizes

Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.

Sin título

Matrizes

Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.

Sin título

Artigo cálculos proposicionais

Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.

Sin título

Semântica para D1

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

Sin título

Sistema DL

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

Sin título

Resultados 61 a 90 de 261