Visualizar impressão Fechar

Mostrando 229 resultados

Descrição arquivística
Ayda Ignez Arruda Ayda Ignez Arruda
Visualizar impressão Visualizar:
Decrescente

2 resultados com objetos digitais Exibir resultados com objetos digitais

Ofício GR 985/83

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.

Ayda Ignez Arruda

Ofício GR 870/83

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.

Ayda Ignez Arruda

Ofício C.V.47/00119

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.

Ayda Ignez Arruda

Ofício C.V.47/00118

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

Ayda Ignez Arruda

Ofício C.V.47/00117

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.

Ayda Ignez Arruda

Ofício C.V.47/00116

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

Ayda Ignez Arruda

Processo 1234/81

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.

Ayda Ignez Arruda

Caderno contendo anotações sobre lógicas relevante

  • BR SPCLEARQ FAIA-PIm-EL-IT434
  • Item
  • 1976-09-16 - 1976-10-07

    • Parte de Ayda Ignez Arruda

Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.

Ayda Ignez Arruda

Estudos contendo tópicos sobre axiomas

Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Estudos analisando vários aspectos da lógica

Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.

Ayda Ignez Arruda

Unidade de opostos

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

Ayda Ignez Arruda

Sur l’ensemble R dans NFw

Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Sistema DL

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

Ayda Ignez Arruda

Semântica para D1

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

Ayda Ignez Arruda

Exibindo 121-150 de 229 resultados