Imprimir vista previa Cerrar

Mostrando 229 resultados

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

2 resultados con objetos digitales Muestra los resultados con objetos digitales

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

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

Matrizes

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

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 sistema A de Ackermann

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

Sin título

Ofício C.V.47/00116

  • BR SPCLEARQ FAIA-AAdm-IT132
  • Unidad documental simple
  • 1981-12-22

    • Parte deAyda Ignez Arruda

Ofício C.V.47/00116 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Matemática Bacharelado na Unicamp em 1982. Ass.: Setembrino Petri

Sin título

Ofício C.V.47/00117

  • BR SPCLEARQ FAIA-AAdm-IT133
  • Unidad documental simple
  • 1981-12-22

    • Parte deAyda Ignez Arruda

Ofício C.V.47/00117 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Matemática Licenciatura na Unicamp em 1982. Ass.: Setembrino Petri.

Sin título

Ofício C.V.47/00118

  • BR SPCLEARQ FAIA-AAdm-IT134
  • Unidad documental simple
  • 1981-12-22

    • Parte deAyda Ignez Arruda

Ofício C.V.47/00118 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Estatística na Unicamp em 1982. Ass.: Setembrino Petri

Sin título

Ofício C.V.47/00119

  • BR SPCLEARQ FAIA-AAdm-IT135
  • Unidad documental simple
  • 1981-12-22

    • Parte deAyda Ignez Arruda

Ofício C.V.47/00119 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Ciência da Computação na Unicamp em 1982. Ass.: Setembrino Petri.

Sin título

Ofício GR 870/83

  • BR SPCLEARQ FAIA-AAdm-IT137
  • Unidad documental simple
  • 1983-09-06

    • Parte deAyda Ignez Arruda

Ofício GR. 870/83 de José Aristodemo Pinotti para AIA solicitando que reconsidere o seu pedido de demissão do cargo de Suplente da Comissão de Orçamento e Patrimônio. Ass.: José Aristodemo Pinotti.

Sin título

Ofício GR 985/83

  • BR SPCLEARQ FAIA-AAdm-IT138
  • Unidad documental simple
  • 1983-10-03

    • Parte deAyda Ignez Arruda

Ofício GR. 985/83 de José Aristodemo Pinotti para AIA solicitando a conclusão dos trabalhos sobre a sistematização das bibliotecas da Universidade. Ass.: José Aristodemo Pinotti.

Sin título

Ofício IMECC/DI-062/81

  • BR SPCLEARQ FAIA-IU-CNM-IT169
  • Unidad documental simple
  • 1981-10-23

    • Parte deAyda Ignez Arruda

Ofício IMECC/DI-062/81 da congregação do IMECC para o reitor da Unicamp criticando suas ações, dispensando de seus cargos oito diretores de institutos, dentre eles, AIA, diretora do IMECC.

Sin título

Plano [de pesquisa]

Plano [de pesquisa] elaborado por AIA para Walter, intitulado Teorias dos Reticulados (Lógica Algébrica).

Sin título

Processo 1234/81

  • BR SPCLEARQ FAIA-AAdm-IT130
  • Unidad documental simple
  • 1981-03-20

    • Parte deAyda Ignez Arruda

Processo n. 1243/81 do concurso para professor adjunto na área de lógica matemática, no departamento de matemática do IMECC, solicitado por AIA, diretora do IMECC.

Sin título

Processo n. 1817/81

  • BR SPCLEARQ FAIA-IU-AJ-IT174
  • Unidad documental simple
  • 1981-12-16

    • Parte deAyda Ignez Arruda

Processo n. 1817/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando os diretores AIA, André Maria Pompeu Villalobos e Carlos Alfredo Arguello de suas funções.

Sin título

Rascunho de AIA

Rascunho de AIA contendo ementa para exame de transferência da discplina MA-561

Sin título

Rascunho de AIA

Rascunho de AIA contendo uma lista de dúvidas e observações relacionadas ao processo de intervenção na Unicamp.

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

Sobre a regra do Modus Ponens

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

Sin título

Resultados 181 a 210 de 229