Mostrando 743 resultados

Descrição arquivística
Ayda Ignez Arruda
Visualizar impressão Visualizar:

19 resultados com objetos digitais Exibir resultados com objetos digitais

Independência de axiomas

Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. 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

Estudo de AIA

Estudo, em inglês, de AIA, sem título, sobre a construção de lógicas paraconsistentes adequadas para o estudo de teorias inconsistentes e incompletas. S.l., S.d. S.ass. 6p. ms.

Ayda Ignez Arruda

Estudo sobre a completude de C+

Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.

Ayda Ignez Arruda

Estudo de AIA sem título

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

Exibindo 271-300 de 743 resultados