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

Proposta de Rolando Chuaqui

  • BR SPCLEARQ FAIA-AA-DSLALM-IT117
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Proposta de Rolando Chuaqui, presidente do comitê latino-americano da Association for Symbolic Logic, contendo sugestões de organização do III Simpósio Latino-Americano de Lógica Matemática.

Sin título

Proposta de Regimento Interno do IMECC

Proposta de Regimento Interno do IMECC, elaborada pela comissão eleita para tal fim, dispondo sobre o funcionamento do Instituto e sua administração.

Sin título

Projeto Sistemas de Bibliotecas da Unicam

  • BR SPCLEARQ FAIA-PItm-IT452
  • Unidad documental simple
  • 1983-08
  • Parte deAyda Ignez Arruda

Projeto intitulado Sistemas de Bibliotecas da Unicamp, apresentando considerações sobre a formulação de uma rede coordenada de bibliotecas. Campinas, ago. 1983. 28p. dat. cópia.

Sin título

Processo n. 1928/81

  • BR SPCLEARQ FAIA-IU-AJ-IT175
  • Unidad documental simple
  • 1981-11-04
  • Parte deAyda Ignez Arruda

Processo n. 1928/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando o professor Eduardo Oscar de Campos Chaves das funções de diretor da Faculdade de Educação.

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

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

Planto de pesquisas

Plano de Pesquisas 1977/1979 de AIA tendo como tema "Lógica Matemática". Ass.: Ayda Ignez Arruda.

Plano de trabalho

Plano de Trabalho contendo as atividades a serem desenvolvidas pelos professores Francisco Xavier Caicedo, R. Epstein e A. Prestel.

Plano [de pesquisa]

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

Sin título

Plano de aulas

  • BR SPCLEARQ FAIA-AA-Fapesp-DLS-IT065
  • Unidad documental simple
  • Parte deAyda Ignez Arruda

Plano de aulas elaborado por Leslaw Szczerba referente ao curso intitulado Foundations of Geometry, ministrado durante sua estadia no Brasil

Os sistemas P e P*,

Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms.

Sin título

On the principle of contradiction in Aristotle

  • BR SPCLEARQ FAIA-Impr-IT547
  • Unidad documental simple
  • 1971-03
  • Parte deAyda Ignez Arruda

LUKASIEWICZ, Jan. On the principle of contradiction in Aristotle. Tradução para inglês de Vernon Wedin. Rev. Metaphys, v.XXIV, p. 485-509, mar. 1971. Título original: Über den Satz des Widersprachs bei Aristoteles.

Sin título

On the Postulate of Separation

  • BR SPCLEARQ FAIA-Impr-IT478
  • Unidad documental simple
  • 1968
  • Parte deAyda Ignez Arruda

ARRUDA, A.I. On the Postulate of Separation. s.l., p. 399-400, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p.399-400, 1968].

Sin título

On the Imaginary Logic of N.A. Vasil'év

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

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

Sin título

On Griss propositional calculus

  • BR SPCLEARQ FAIA-Impr-IT475
  • Unidad documental simple
  • 1971-09
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Sin título

Ofício Sub/CPG/DF – n° 13/83

Ofício Sub/CPG/DF 13/83 de Carlos Ribeiro Moura comunicando que os professores indicados por AIA para a banca julgadora do mestrado de Regina Aparecida Munhoz Fonte não poderão participar. Ass.: Carlos R. Moura

Ofício SG/2 – n° 118/83

Ofício SG/2 118/83 de José Aristodemo Pinotti informando da indicação de AIA para a banca julgadora do Concurso de Livre Docência de alguns professores. Ass.: Ferdinando de Oliveira Figueiredo

Ofício n. 172/81-IM de Annibal Parracho Sant’Anna

  • BR SPCLEARQ FAIA-C-Ct-IT336
  • Unidad documental simple
  • ? - 1981-11-05
  • Parte deAyda Ignez Arruda

Ofício n. 172/81-IM de Annibal Parracho Sant’Anna a Plínio Alves de Moraes, Reitor da Unicamp, estranhando e lamentando o afastamento de AIA da direção do IMECC. S.l., 05 nov. 1981. Ass.: Aníbal Parracho Sant?Anna. 1p. dat. cópia.

Sin título

Resultados 181 a 210 de 697