Mostrando 79500 resultados

Descrição arquivística
Visualizar impressão Hierarquia
Visualização em ficha Visualização em tabela
4547 resultados com objetos digitais Exibir resultados com objetos digitais
Informe de apoio
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_IT0009 · Item · s.d.
Parte de Ayda Ignez Arruda

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

 Ayda Ignez Arruda
Informe de apoio
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_IT0008 · Item · s.d.
Parte de Ayda Ignez Arruda

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

 Ayda Ignez Arruda
Informe de apoio
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_IT0007 · Item · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms.

 Ayda Ignez Arruda
Informe de apoio
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_IT0006 · Item · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.

 Ayda Ignez Arruda
Informe de apoio
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_IT0005 · Item · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms. Anexo: Rascunho de AIA, intitulado Plano do livro, contendo sumário que corresponde a este documento. S.l., S.d. S.ass. 1p. ms.

 Ayda Ignez Arruda
Informe de apoio
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_IT0004 · Item · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.

 Ayda Ignez Arruda
Informe de apoio
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_IT0003 · Item · s.d.
Parte de Ayda Ignez Arruda

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

 Ayda Ignez Arruda
Informe de apoio
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_IT0002 · Item · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.

 Ayda Ignez Arruda
Informe de apoio
Informe de apoio
BR SPCLEARQ AIA_PIm_CP_IT0001 · Item · s.d.
Parte de Ayda Ignez Arruda

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

 Ayda Ignez Arruda
Estudo acadêmico
Estudo acadêmico
BR SPCLEARQ AIA_PIm_SC_IT0003_IT0003.1 · Parte · s.d.
Parte de Ayda Ignez Arruda

Anexo: rascunho de AIA contendo introdução ao estudo e demonstrações de teoremas.

 Ayda Ignez Arruda