Imprimir vista previa Cerrar

Mostrando 269 resultados

Descripción archivística
Ayda Ignez Arruda
Imprimir vista previa Ver :
Descendente

7 resultados con objetos digitales Muestra los resultados con objetos digitales

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

Fotografia

Mesa de [abertura/palestrantes] com ?, Newton Carneiro Affonso da Costa, ?, Ubiratan D'Ambrósio, ?, Ayda Ignez Arruda e platéia

Fotografia

Participantes do Evento, dentre eles Luís Paulo de Alcântara com cachimbo, Ayda Ignez Arruda, Itala Maria Loffredo D'Ottaviano, Newton Carneiro Affonso da Costa

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

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

Unidade de opostos

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

Sin título

Further considerations on the Postulate of Separation

  • BR SPCLEARQ FAIA-Impr-IT498
  • Unidad documental simple
  • 1968

    • Parte deAyda Ignez Arruda

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

Sin título

O paradoxo de Curry-Moh Shaw-Kwei

  • BR SPCLEARQ FAIA-Impr-IT500
  • Unidad documental simple
  • 1966

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.

Sin título

Sur une hiérarchies de systèmes formels

  • BR SPCLEARQ FAIA-Impr-IT504
  • Unidad documental simple
  • 1964-11-02

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.

Sin título

Mathematical Logic

  • BR SPCLEARQ FAIA-Impr-IT508
  • Unidad documental simple
  • [1978]

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

Sin título

Termo de outorga

  • BR SPCLEARQ FAIA-AA-Fapesp-DAIA-IT039
  • Unidad documental simple

    • Parte deAyda Ignez Arruda

Termo de outorga e aceitação de auxílio Fapesp do projeto VI Encontro Brasileiro de Lógica, registrado como Processo 2/1543-8, concedido a AIA. Ass.: Ayda Ignez Arruda

Carta de AIA para Ruy Carlos de Camargo Vieira

  • BR SPCLEARQ FAIA-AA-Fapesp-DAIA-IT045
  • Unidad documental simple

    • Parte deAyda Ignez Arruda

Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, solicitando auxílio para participar de congressos na Áustria e em Caracas. Ass.: Ayda Ignez Arruda.
Resultados 91 a 120 de 269