Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Filter
  • 1-10 of  103 نتائج ل ""Lógica simbólica e matemática""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Teoria das funções recursivas e aplicações a logica

Subjects: Funções recursivas; Lógica simbólica e matemática

  • Source: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP

تفاصيل العنوان

×

O problema da compactificação em teoria de modelos

Subjects: Lógica simbólica e matemática; Teoria do modelo

  • Source: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP

تفاصيل العنوان

×

Valorações para alguns sistemas de logica do tempo

Subjects: Lógica matemática não-clássica; Calculo de predicados; Lógica simbólica e matemática

  • Source: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP

تفاصيل العنوان

×

Os teoremas de incompletude de Godel

Subjects: Metamatematica; Matemática - Filosofia; Lógica simbólica e matemática

  • Source: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP

تفاصيل العنوان

×

Uma proposta alternativa para o ensinode introdução a logica matematica

Subjects: Lógica simbólica e matemática - Estudo e ensino; Educação matemática

  • Source: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP

تفاصيل العنوان

×

Representação e combinação de logicas

Subjects: Tarski, Alfred, 1901-1983; Logic symbolic and mathematical; Lógica simbólica e matemática

  • Source: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP

تفاصيل العنوان

×
  • 1-10 of  103 نتائج ل ""Lógica simbólica e matemática""