Imprimir vista previa Cerrar

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

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

Recibo de Elias Humberto Alves

  • BR SPCLEARQ FAIA-AA-Fapesp-DNC-IT068
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Recibo de Elias Humberto Alves declarando ter recebido de AIA doze mil cruzeiros referentes ao auxilio viagem para estadia na Universidade Católica do Chile durante os meses dez. 1977 e jan. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Elias Humberto Alves

Recibo de Luiz Paulo de Alcântara

  • BR SPCLEARQ FAIA-AA-Fapesp-DNC-IT067
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Recibo de Luiz Paulo de Alcântara declarando ter recebido de AIA doze mil cruzeiros referentes ao auxilio viagem para estadia na Universidade Católica do Chile durante os meses dez. 1977 e jan. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Luiz Paulo de Alcântara

Recibo de Rolando Chuaqui

  • BR SPCLEARQ FAIA-AA-Fapesp-DNC-IT069
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Recibo de Rolando Chuaqui declarando ter recebido de AIA seis mil cruzeiros referentes ao auxilio viagem para estadia na Unicamp durante o mês de mar. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Rolando Chuaqui

Recibo do CNPq

Recibo do CNPq emitido por Oswaldo Chateaubriand a AIA referente ao pagamento de ajuda de custa pela participação no Ciclo de Palestras de Professores e Pesquisadores, realizado na Pontifícia Universidade Católica-RJ. Ass.: Ayda Ignez Arruda

Relatório científico

  • BR SPCLEARQ FAIA-AA-Fapesp-DJK-IT057
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Relatório científico de AIA relativo à visita do professor Jerzy Kotas.

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

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

Resultados 211 a 240 de 261