Mostrando 261 resultados

Descripción archivística
Ayda Ignez Arruda Ayda Ignez Arruda Inglés
Imprimir vista previa Ver :

2 resultados con objetos digitales Muestra los resultados con objetos digitales

Cálculos Implicativos Gerais

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

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

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

Matrizes

Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Introdução: 3 – Matrizes

Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.

Ayda Ignez Arruda

Independência de axiomas

Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.

Ayda Ignez Arruda

Função de verdade e matrizes

Estudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Cálculo Proposicional

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.

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

Rascunho de AIA

Rascunho de AIA contendo uma lista de dúvidas e observações relacionadas ao processo de intervenção na Unicamp.

Ayda Ignez Arruda

Lista de professores do IMECC

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

Cópia do telex enviado ao MEC

  • BR SPCLEARQ FAIA-IU-CNM-IT170
  • Unidad documental simple
  • 1981-10-26
  • 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

Ofício IMECC/DI-062/81

  • BR SPCLEARQ FAIA-IU-CNM-IT169
  • Unidad documental simple
  • 1981-10-23
  • 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

  • BR SPCLEARQ FAIA-IU-CNM-IT168
  • Unidad documental simple
  • 1981-10-22
  • 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

Processo n. 1817/81

  • BR SPCLEARQ FAIA-IU-AJ-IT174
  • Unidad documental simple
  • 1981-12-16
  • Parte deAyda Ignez Arruda

Processo n. 1817/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando os diretores AIA, André Maria Pompeu Villalobos e Carlos Alfredo Arguello de suas funções.

Ayda Ignez Arruda

Mathematical Logic

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

Ayda Ignez Arruda

Une sémantique pour le calcul C1=. C.R

  • BR SPCLEARQ FAIA-I-IT506
  • Unidad documental simple
  • 1977-01-31
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977.

Ayda Ignez Arruda

Transformadas no Cálculo Restrito de Predicados

  • BR SPCLEARQ FAIA-I-IT505
  • Unidad documental simple
  • 1966-12,
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

Ayda Ignez Arruda

Sur une hiérarchies de systèmes formels

  • BR SPCLEARQ FAIA-I-IT504
  • Unidad documental simple
  • 1964-11-02
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.

Ayda Ignez Arruda

Sur un Théorème de Hilbert et Bernays

  • BR SPCLEARQ FAIA-I-IT503
  • Unidad documental simple
  • 1964-06-29
  • Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.

Ayda Ignez Arruda

Resultados 31 a 60 de 261