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

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

Adendo ao processo 78/0232

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

Adendo ao processo 78/0232 aprovando a utilização de saldo de dezenove mil e quinhentos cruzeiros no pagamento de mais de um mês de manutenção do professor Leslaw Szczerba.

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

Apresentação de atividades

Apresentação das atividades informando as atividades a serem desenvolvidas pela professora Cecylia Rauszer os benefícios às comunidades científicas do país.

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

Resultados 1 a 30 de 697