2 resultados com objetos digitais Mostrar os resultados com objetos digitais
Carta de AIA a Francisco Xavier Caicedo
Parte deAyda Ignez Arruda
Carta, em inglês, de AIA ao professor Xavier Caicedo, informando preços e locais para estadia em Campinas e solicitando esclarecimentos quanto ao seu nome oficial. S.l., 16 mar. 1982. S.ass. 1p. dat. cópia.
Ayda Ignez Arruda
Carta da Presidência do Conselho Técnico Administrativo da Fapesp
Parte deAyda Ignez Arruda
Carta da Presidência do Conselho Técnico Administrativo da Fapesp solicitando à professora AIA o envio do relatório científico referente ao processo 82/1543-8. Ass.: Anita Bueno.
Capítulo II: Cálculo Proposicional
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez Arruda
Capítulo II - Teoria de conjuntos An
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.
Ayda Ignez Arruda
Capítulo I: Cálculo Proposicional
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.
Ayda Ignez Arruda
Capítulo I - Introdução aos Conceitos Fundamentais
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Capítulo I - Introdução aos Conceitos Fundamentais, tratando sobre lógica e sistemas formais. S.l., S.d. S.ass. 10p. ms., dat.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.
Ayda Ignez Arruda
Cálculo de predicados de ordem superior
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Caderno de AIA contendo anotações sobre história da matemática e da lógica e planos de aulas.
Ayda Ignez Arruda
Caderno contendo anotações sobre lógicas relevante
Parte deAyda Ignez Arruda
Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.
Ayda Ignez Arruda
Aviso de recebimento de prestação de contas
Parte deAyda Ignez Arruda
Aviso de recebimento da prestação de contas do professor Jerzy Kotas enviada por AIA para a Fapesp. Ass.: Jerzy Kotas
Aspects of the Historical Development of Paraconsistent Logic
Parte deAyda Ignez Arruda
Artigo, em inglês, de AIA intitulado Aspects of the Historical Development of Paraconsistent Logic. [Campinas], S.d. S.ass. 33p. dat. cópia.
Ayda Ignez Arruda
Artigo cálculos proposicionais
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
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
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
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
Abstract da palestra Implicative Systems and Modus Ponens Rule
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
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.
Ayda Ignez Arruda