Imprimir vista previa Cerrar

Mostrando 697 resultados

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

10 resultados con objetos digitales Muestra los resultados con objetos digitales

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

O que é o Impa?

  • BR SPCLEARQ FAIA-Impr-IT550
  • Unidad documental simple
  • 1960-02
  • Parte deAyda Ignez Arruda

NACHBIN, Leopoldo. O que é o Impa? Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 3, n. 1, p. 1-12, fev. 1960.

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

O Intelecto Humano

Texto sem autor intitulado O Intelecto Humano resumindo as principais idéias de Nietzsche expressas em Sobre Verdade e Mentira no Sentido Extra-moral. S.l., S.d. S.ass. 1p. dat.

Sin título

Notas de aula de Ryszard Wojcicki

  • BR SPCLEARQ FAIA-PItm-IT463
  • Unidad documental simple
  • 1981
  • Parte deAyda Ignez Arruda

Notas de aula, em inglês, de Ryszard Wojcicki, do curso intitulado Topics in the theory of propositional logics. [Unicamp], 1981. Ass.: Ryszard Wojcicki. 116p. ms. cópia.

Sin título

N.A. Vasili’év e a Lógica Paraconsistente

  • BR SPCLEARQ FAIA-Impr-IT474
  • Unidad documental simple
  • 1978
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. N.A. Vasili’év e a Lógica Paraconsistente. Campinas: Unicamp, 1978. 60 p. (Relatório Interno nº 140, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Sin título

Minuta de portaria do Diretor do IMECC

  • BR SPCLEARQ FAIA-AAdm-M-IT140
  • Unidad documental simple
  • 1977-08-29
  • Parte deAyda Ignez Arruda

Minuta de portaria do Diretor do IMECC, Ubiratan D?Ambrósio, constituindo comissão de graduação do IMECC e dando conta de suas atribuições

Sin título

Minuta da Comissão nomeada pela Congregação

Minuta da Comissão nomeada pela Congregação para elaborar um projeto de atribuições de futura Comissão Científica, sugerindo a formação de duas comissões com atribuições distintas.

Sin título

Memorando de Antonio Conde

  • BR SPCLEARQ FAIA-AAdm-IT131
  • Unidad documental simple
  • 1981-11-13
  • Parte deAyda Ignez Arruda

Memorando de Antonio Conde, diretor associado, comunicando a data, local e o horário da reunião do Conselho Interdepartamental.

Sin título

Matrizes

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

Sin título

Mathematical Logic in Latin America

  • BR SPCLEARQ FAIA-Impr-IT496
  • Unidad documental simple
  • 1982-02
  • Parte deAyda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

Sin título

Mathematical Logic in Latin America

  • BR SPCLEARQ FAIA-Impr-IT497
  • Unidad documental simple
  • 1982
  • Parte deAyda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

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

Manifestação da congregação do IMECC

  • BR SPCLEARQ FAIA-IU-CNM-IT168
  • Unidad documental simple
  • 1981-10-22
  • Parte deAyda Ignez Arruda

Manifestação da congregação do IMECC, elogiando o trabalho de AIA como diretora do IMECC e criticando a maneira como foi exonerada de seu cargo.

Sin título

Lukasiewicz and the Origins of Many-Valued Logic

  • BR SPCLEARQ FAIA-Impr-IT552
  • Unidad documental simple
  • 1973
  • Parte deAyda Ignez Arruda

PATZIG, G. Aristotle, Lukasiewicz and the Origins of Many-Valued Logic. In: SUPPES, Patrick (Ed.). Logic, Methodology and Philosophy of Science IV, Amsterdam: North-Holland Publishing Company, 1973. p.921-929.

Sin título

Resultados 241 a 270 de 697