Mostrando 1729 resultados

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

324 resultados con objetos digitales Muestra los resultados con objetos digitales

Entrega de trabalho a Getúlio Vargas

Álvaro Alberto da Mota e Silva apresenta ao presidente Getúlio Vargas a exposição de motivos em que o Conselho Nacional de Pesquisas solicita a criação do Instituto Nacional da Amazômia

Sin título

Escola matemática polonesa

  • BR SPCLEARQ FAIA-Impr-IT562
  • Unidad documental simple
  • 1964-02
  • Parte deAyda Ignez Arruda

SIERPINSKI, Waclaw. Escola matemática polonesa. Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 7, n. 1, p. 1-16, fev. 1964.

Sin título

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.

Sin título

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.

Sin título

Estudo de Andréa Loparic

  • BR SPCLEARQ FAIA-PItm-IT451
  • Unidad documental simple
  • 1975-12-13
  • 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.

Sin título

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.

Sin título

Estudos analisando vários aspectos da lógica

  • BR SPCLEARQ FAIA-PIm-EL-IT431
  • Unidad documental simple
  • 1975-09-05
  • Parte deAyda Ignez Arruda

Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.

Sin título

Estudos contendo tópicos sobre axiomas

Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. ms.

Sin título

Resultados 871 a 900 de 1729