Capítulo II: Cálculo Proposicional
- BR SPCLEARQ FAIA-PIm-CP-IT398
- Item
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
10 resultados com objetos digitais Mostrar os resultados com objetos digitais
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 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
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
Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
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
Une sémantique pour le calcul C1=
Parte deAyda Ignez Arruda
Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.
Ayda Ignez Arruda
Sur la Théorie des Sytèmes Formels Inconsistants
Parte deAyda Ignez Arruda
Artigo, em francês, de AIA, intitulado Sur la Théorie des Sytèmes Formels Inconsistants. IMECC, S.d., S.ass. 13p. dat. cópia.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Artigo de AIA intitulado Silogismos Não-Aristotélicos. S.l., S.d. S.ass. 17p. dat. cópia.
Ayda Ignez Arruda
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Parte deAyda Ignez Arruda
Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.
Ayda Ignez Arruda
Resumo de AIA intitulado On Griss' Propositional Calculus
Parte deAyda Ignez Arruda
Resumo, em inglês, de AIA, intitulado On Griss' Propositional Calculus. S.l., S.d. S.ass. 1p. dat.
Ayda Ignez Arruda
Observações sobre o conjunto de Russell
Parte deAyda Ignez Arruda
Artigo de AIA, intitulado Observações sobre o conjunto de Russell. IMECC, S.d. S.ass. 5p. dat.
Ayda Ignez Arruda
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Parte deAyda Ignez Arruda
Artigo de AIA intitulado Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes, analisando cálculos proposicionais denominados P e P*. S.l., S.d. S.ass. 11p. dat.
Ayda Ignez Arruda
Álgebras de conjuntos não-clássicas
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
Parte deAyda Ignez Arruda
Rascunho de AIA contendo uma lista de dúvidas e observações relacionadas ao processo de intervenção na Unicamp.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Lista de professores do IMECC que apoiam a interpelação judicial para tirar Frederico Pimentel do cargo de direção do instituto.
Ayda Ignez Arruda
Normas da eleição para colégio eleitoral do IMECC.
Parte deAyda Ignez Arruda
Documento contendo normas da eleição para colégio eleitoral do IMECC.
Ayda Ignez Arruda
Diário Oficial do Estado de São Paulo
Parte deAyda Ignez Arruda
Diário Oficial do Estado de São Paulo contendo o processo 1932/81.
Ayda Ignez Arruda
O Governo Federal e as Consultas às Bases para Escolha do Reitor da Unicamp
Parte deAyda Ignez Arruda
Texto de Rubem Alves intitulado O Governo Federal e as Consultas às Bases para Escolha do Reitor da Unicamp.
Ayda Ignez Arruda
Comunicado conjunto da Comissão de Negociação
Parte deAyda Ignez Arruda
Comunicado conjunto da Comissão de Negociação, informando alguns detalhes da reunião com a reitoria.
Ayda Ignez Arruda
Reportagem da Revista Istoé Universidade Burra
Parte deAyda Ignez Arruda
Reportagem da revista Istoé intitulada Universidade burra, escrita por Roberto de Pompeu Toledo, a respeito dos atos do reitor da Unicamp.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Cópia de telex enviado ao MEC, da Sociedade Brasileira de Lógica para a Associação dos Docentes da Unicamp, repudiando os atos do reitor, em especial o afastamento de AIA da direção do IMECC.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Ofício IMECC/DI-062/81 da congregação do IMECC para o reitor da Unicamp criticando suas ações, dispensando de seus cargos oito diretores de institutos, dentre eles, AIA, diretora do IMECC.
Ayda Ignez Arruda
Manifestação da congregação do IMECC
Parte deAyda Ignez Arruda
Manifestação da congregação do IMECC, elogiando o trabalho de AIA como diretora do IMECC e criticando a maneira como foi exonerada de seu cargo.
Ayda Ignez Arruda
Manifestação de docentes do IMECC
Parte deAyda Ignez Arruda
Manifestação de docentes do IMECC, repudiando os atos do reitor e dando apoio a AIA.
Ayda Ignez Arruda
Trecho de reportagem O Diário de Piracicaba
Parte deAyda Ignez Arruda
Trecho de reportagem contida em O Diário de Piracicaba, contendo comunicado da reitoria da Unicamp esclarecendo e justificando os atos do reitor. Cidade Universitária "Zeferino Vaz
Ayda Ignez Arruda
Comunicado do gabinete do reitor da Unicamp
Parte deAyda Ignez Arruda
Comunicado do gabinete do reitor da Unicamp, esclarecendo alguns fatos relativos aos atos do reitor. Cidade Universitária "Zeferino Vaz
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Boletim n.46 da Associação dos Professores da Pontifícia Universidade Católica de São Paulo (APROPUC) em apoio aos setores atingidos pela intervenção.
Ayda Ignez Arruda