Funções parciais recursivas e funções parcialmente Turing-computáveis: uma prova de equivalência

Funções parciais recursivas e funções parcialmente Turing-computáveis: uma prova de equivalência

Submitted by Maike Costa (maiksebas@gmail.com) on 2017-09-20T12:52:54Z No. of bitstreams: 1 arquivototal.pdf: 1155001 bytes, checksum: c813651173e6bf037a98328b32bc7d5a (MD5) === Made available in DSpace on 2017-09-20T12:52:54Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1155001 bytes, checksum:...

Full description

Bibliographic Details
Main Author: Melo, Gustavo Cavalcanti
Other Authors: Dias, Matias Francisco
Format: Others
Language:Portuguese
Published: Universidade Federal da Paraíba 2017
Subjects:
Função parcial recursiva
Função parcialmente Turing-computável
Teorema de Rice
Problema de decisão.
Partial recursive functions
Partially Turing-computable functions
Rice‟s theorem
Decision problem.
CIENCIAS HUMANAS::FILOSOFIA
Online Access:http://tede.biblioteca.ufpb.br:8080/handle/tede/9586

Internet

http://tede.biblioteca.ufpb.br:8080/handle/tede/9586

Similar Items