Sobre a tese de Church-Turing Documento

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Ver todos
•  

Visão geral

orientado por

• Matias Francisco Dias

tipo

• master thesis

autores

• Raimundo Nonato Araujo Portela Filho

data de publicação

• 1990-01-01

Pesquisas

áreas de investigação

• Lógica
• Teoria da Recursão

palavras-chave

• Argumento de Kalmar
• tese de Church

Identidade

identificador BrCris

• 6aae3b70516ff1d39700dae650f0931d