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.

Ayda Ignez Arruda

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

  • BR SPCLEARQ FAIA-I-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.

Ayda Ignez Arruda

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

Ayda Ignez Arruda

A teoria de primeira ordem v

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

Ayda Ignez Arruda

Abstract da palestra Implicative Systems and Modus Ponens Rule

  • BR SPCLEARQ FAIA-PIm-EL-IT412
  • Unidad documental simple
  • 1972-07
  • Parte deAyda Ignez Arruda

Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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

Ayda Ignez Arruda

Aplicação de Matrizes

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

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Aspects of the historical development of Paraconsistent Logic

  • BR SPCLEARQ FAIA-I-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)

Ayda Ignez Arruda

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

Ayda Ignez Arruda

Resultados 1 a 30 de 697