19 resultados com objetos digitais Mostrar os resultados com objetos digitais
Parte deAyda Ignez Arruda
Texto sem autor intitulado O Intelecto Humano resumindo as principais idéias de Nietzsche expressas em Sobre Verdade e Mentira no Sentido Extra-moral. S.l., S.d. S.ass. 1p. dat.
Ayda Ignez Arruda
As idéias lógicas de N.A. Vasil’év
Parte deAyda Ignez Arruda
Artigo sem autor intitulado As idéias lógicas de N.A. Vasil’év. S.l., S.d. S.ass. 54p. dat. cópia.
Ayda Ignez Arruda
Notas de aula de Ryszard Wojcicki
Parte deAyda Ignez Arruda
Notas de aula, em inglês, de Ryszard Wojcicki, do curso intitulado Topics in the theory of propositional logics. [Unicamp], 1981. Ass.: Ryszard Wojcicki. 116p. ms. cópia.
Ayda Ignez Arruda
Sobre os Juízos Particulares/O Triângulo das Oposições e a Lei do Quarto Excluído
Parte deAyda Ignez Arruda
Tradução do artigo de N.A. Vasil'év, intitulado Sobre os Juízos Particulares; O Triângulo das Oposições e a Lei do Quarto Excluído. S.l., S.d. S.ass. 45p. dat.
Ayda Ignez Arruda
Lógica Imaginária (Não-Aristotélica)
Parte deAyda Ignez Arruda
Tradução do artigo de N.A. Vasil'év, feita por Edmundo Braga, intitulado Lógica Imaginária (Não-Aristotélica). S.l., S.d. S.ass. 54p. dat.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Tradução do artigo de N.A. Vasil'év, feita por Edmundo Braga, intitulado Lógica e Metalógica. S.l., S.d. S.ass. 41p. dat.
Ayda Ignez Arruda
Matemática "moderna": Um erro educacional e filosófico?
Parte deAyda Ignez Arruda
Tradução, do artigo de René Thom, [feita por AIA], intitulado Matemática "moderna": Um erro educacional e filosófico?. S.l., S.d. S.ass. 18p. ms.
Ayda Ignez Arruda
Relatório de Joseph Donald Sneed
Parte deAyda Ignez Arruda
Relatório de Joseph Donald Sneed sobre sua visita ao CLE-Unicamp durante agosto e setembro de 1979, descrevendo suas atividades científicas e docentes. S.l. S.d. S.ass. 2p. dat.
Ayda Ignez Arruda
O ponto de vista lógico de N.A. Vasil’év
Parte deAyda Ignez Arruda
Tradução do artigo de V.A. Smirnov, intitulado O ponto de vista lógico de N.A. Vasil’év. S.l., S.d. S.ass. 16p. dat. cópia
Ayda Ignez Arruda
Las concepciones logicas de N.A. Vasil’év
Parte deAyda Ignez Arruda
Tradução, em espanhol, do artigo de V.A. Smirnov, intitulado Las concepciones logicas de N.A. Vasil’év. S.l., S.d. S.ass. 11p. dat
Ayda Ignez Arruda
As concepções lógicas de N.A. Vasil’év
Parte deAyda Ignez Arruda
Tradução do artigo de V.A. Smirnov, intitulado As concepções lógicas de N.A. Vasil’év. S.l., S.d. S.ass. 16p. dat
Ayda Ignez Arruda
Rehabilitating Meinong’s Theory of Objects
Parte deAyda Ignez Arruda
Artigo, em inglês, de Richard e Valerie Routley, intitulado Rehabilitating Meinong’s Theory of Objects. S.l., [1971-1973]. S.ass. 27p. dat. cópia.
Ayda Ignez Arruda
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Parte deAyda Ignez Arruda
Artigo, em inglês, de Richard Routley e Andrea Loparic intitulado Arruda-da Costa P Systems And Adjacent Non-Replacement Systems. S.l., [1976-1978]. S.ass. 19p. dat. cópia.
Ayda Ignez Arruda
Projeto Sistemas de Bibliotecas da Unicam
Parte deAyda Ignez Arruda
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
Parte deAyda Ignez Arruda
Estudo de Andréa Loparic, contendo exercícios, lemas, teoremas e corolários. S.l., 13 dez. 1975. Ass.: A. Loparic. 4p. ms. cópia.
Ayda Ignez Arruda
Une étude sémantique de quelques calculs propositionnels
Parte deAyda Ignez Arruda
Artigo, em francês, de Andréa Loparic, intitulado Une étude sémantique de quelques calculs propositionnels. S.l., S.d. S.ass. 5p. dat. cópia.
Ayda Ignez Arruda
Tradução do artigo de Jean Leray
Parte deAyda Ignez Arruda
Tradução, do artigo de Jean Leray, [feita por AIA], sobre a reforma do ensino secundário de matemática, redigido a pedido da Academia de Ciências. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Generalization of some results of Elie Sanchez
Parte deAyda Ignez Arruda
Artigo, em inglês, de Siegfried Gottwald, intitulado Generalization of some results of Elie Sanchez. [Leipzig, Alemanha, 1982-1983]. S.ass. 7p. dat.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Artigo, em alemão, de Siegfried Gottwald, intitulado Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik. Leipzig, Alemanha, [1983]. 9p. dat.
Ayda Ignez Arruda
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
Parte deAyda Ignez Arruda
Artigo, em espanhol, de Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos. S.l., S.d. S.ass. 9p. dat. cópia.
Ayda Ignez Arruda
Teorias Recursivas, Creativas y Productivas
Parte deAyda Ignez Arruda
Artigo, em espanhol, de José Fernández-Prida, intitulado Teorias Recursivas, Creativas y Productivas. S.l., S.d. S.ass. 15p. dat. cópia.
Ayda Ignez Arruda
Gödel’s collected works (A.S.L. Project)
Parte deAyda Ignez Arruda
Estudo, em inglês, de Solomon Feferman, intitulado Gödel’s collected works (A.S.L. Project). Stanford University, USA, S.d. S.ass. 3p. dat.
Ayda Ignez Arruda
Tradução do artigo de Jean Dieudonné
Parte deAyda Ignez Arruda
Tradução, do artigo de Jean Dieudonné, [feita por AIA], intitulado Deveríamos ensinar matemática moderna?. S.l., S.d. S.ass. 13p. ms.
Ayda Ignez Arruda
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Parte deAyda Ignez Arruda
Artigo, em inglês, de Newton C. A. da Costa e Robert G. Wolf, intitulado Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities. S.l., [1978-1980]. S.ass. 19p. dat.
Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte deAyda Ignez Arruda
Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.
Ayda Ignez Arruda
Produção Intelectual de Terceiros Manuscrita
Parte deAyda Ignez Arruda
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, sobre Vasil'ev e a lógica paraconsistente, indicado como Capítulo 3. S.l., S.d. S.ass. 14p. dat.
Ayda Ignez Arruda
Estudo de AIA sobre a silogística de Vasil'év
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, sobre a silogística de Vasil'év. S.l., S.d. S.ass. 11p. ms
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat.
Ayda Ignez Arruda
Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic
Parte deAyda Ignez Arruda
Estudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.
Ayda Ignez Arruda