Mostrando 597 resultados

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

5 resultados con objetos digitales Muestra los resultados con objetos digitales

A Evolução do Método Axiomático

ARRUDA, Ayda Ignez. A Evolução do Método Axiomático. Revista Brasileira de Filosofia, São Paulo, v. XIV, fasc. 54, s.d. p. 209-221.

Sin título

A Lógica e a Matemática são idênticas?

  • BR SPCLEARQ FAIA-Impr-IT535
  • Unidad documental simple
  • 1964-10

    • Parte deAyda Ignez Arruda

HENKIN, Leon A. A Lógica e a Matemática são idênticas? Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 7, n. 3, p. 2-15, out. 1964.

Sin título

A survey of Paraconsistent Logic

ARRUDA, Ayda I. A survey of Paraconsistent Logic. Campinas: Unicamp, s.d. 48 p. (Relatório Interno nº 106, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas.)

Sin título

A teoria de primeira ordem v

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Sin título

Aerograma de Ken para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT296
  • Unidad documental simple
  • 1982-02-13

    • Parte deAyda Ignez Arruda

Aerograma, em inglês, de Ken para AIA, comunicando o atraso no recebimento de correspondências, e informando sobre novas pesquisas. Annapolis, 13 fev. 1982. Ass.: Ken. 1p. ms.

Sin título

Aerograma de Ken para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT297
  • Unidad documental simple
  • ? - 1982-12-25

    • Parte deAyda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, informando sobre o seu estado de saúde. Annapolis, 25 dez. 1982. Ass.: Ken. 1p. ms.

Sin título

Aerograma de Ken para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT298
  • Unidad documental simple
  • ? - 1983-01-05

    • Parte deAyda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, desejando um Feliz 1983, comunicando o envio de um artigo e falando sobre sua estada em Campinas. Annapolis, 05 jan. 1983. Ass.: Ken. 1p. ms.

Sin título

Aerograma de Ken para AIA

  • BR SPCLEARQ FAIA-C-Cp-IT299
  • Unidad documental simple
  • ? - 1983-03-05

    • Parte deAyda Ignez Arruda

Aerograma, em inglês, de Ken para AIA, relatando suas atividades em Annapolis e informando a respeito de um mini-curso sobre w-rule a ser proferido. Annapolis, 05 mar. 1983. Ass.: Ken. 1p. ms.

Sin título

Álgebras de conjuntos não-clássicas

  • BR SPCLEARQ FAIA-PIm-A-IT360
  • Unidad documental simple
  • ? - 1966-10-17

    • Parte deAyda Ignez Arruda

Artigo de AIA, intitulado Álgebras de conjuntos não-clássicas. Universidade de São Paulo, 17 out. 1966. S.ass. 10p. dat. cópia.

Sin título

Aplicação de Matrizes

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

Sin título

Artigo cálculos proposicionais

Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.

Sin título

Artigo sem título

Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.

Sin título

Aspects of the historical development of Paraconsistent Logic

  • BR SPCLEARQ FAIA-Impr-IT469
  • Unidad documental simple
  • 1980-02

    • Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Aspects of the historical development of Paraconsistent Logic. Campinas: Unicamp, fev. 1980. 16 p. (Relatório Interno nº 172, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Sin título

Ata da 24ª reunião extraordinária

  • BR SPCLEARQ FAIA-AAdm-A-IT147
  • Unidad documental simple
  • 1980-03-04

    • Parte deAyda Ignez Arruda

Ata da 24ª reunião extraordinária da congregação do IMECC, tratando da eleição para diretor do instituto e ainda do projeto Financiadora de Estudos e Projetos (FINEP).

Sin título

Ata da 39ª reunião da congregação do IMECC

  • BR SPCLEARQ FAIA-AAdm-A-IT149
  • Unidad documental simple
  • 1981-09-03

    • Parte deAyda Ignez Arruda

Ata da 39ª reunião da congregação do IMECC, tratando da indicação de membros do IMECC para Estudo de Problemas Brasileiros, processos de doutorado e mestrado, e outros assuntos.

Sin título

Ata da 40a reunião da congregação do IMECC

  • BR SPCLEARQ FAIA-AAdm-A-IT150
  • Unidad documental simple
  • 1981-10-08

    • Parte deAyda Ignez Arruda

Ata da 40a reunião da congregação do IMECC, discutindo propostas de remodelação da Unicamp, processos de convalidação de créditos, reformulações na ata anterior e outros assuntos.

Sin título

Ata da reunião extraordinária da congregação do IMECC

  • BR SPCLEARQ FAIA-AAdm-A-IT145
  • Unidad documental simple
  • 1978-04-10

    • Parte deAyda Ignez Arruda

Ata da primeira sessão extraordinária do Conselho Diretor da Unicamp, tratando da elaboração da lista de candidatos a futuro reitor e informando sobre os procedimentos do processo eleitoral.

Sin título

Resultados 1 a 30 de 597