Mostrando 697 resultados

Descrição arquivística
Ayda Ignez Arruda Inglês
Visualizar impressão Visualizar:

10 resultados com objetos digitais Exibir resultados com objetos digitais

Proposta de Rolando Chuaqui

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Projeto Sistemas de Bibliotecas da Unicam

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.

Ayda Ignez Arruda

Processo n. 1928/81

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.

Ayda Ignez Arruda

Processo n. 1817/81

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.

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

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).

Ayda Ignez Arruda

Plano de aulas

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.

Ayda Ignez Arruda

On the principle of contradiction in Aristotle

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.

Ayda Ignez Arruda

On the Postulate of Separation

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].

Ayda Ignez Arruda

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

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.

Ayda Ignez Arruda

On Griss propositional calculus

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.

Ayda Ignez Arruda

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

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.

Ayda Ignez Arruda

Exibindo 181-210 de 697 resultados