Uma abordagem modelo-teórica da computabilidade de Turing clássica

Uma abordagem modelo-teórica da computabilidade de Turing clássica

Anderson Araújo

TESE

Português

T/UNICAMP Ar15a

[A model-theoretical approach to classical Turing computability]

Campinas, SP : [s.n.], 2011.

189 p.

Orientador: Walter Alexandre Carnielli

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas

Resumo: Esta tese propõe uma nova abordagem da computabilidade de Turing clássica, denominada abordagem modelo-teórica. De acordo com essa abordagem, estruturas e teorias são associadas às máquinas de Turing a fim de investigar as características de suas computações. Uma abordagem modelo-teórica da...

Abstract: This PhD thesis proposes a new approach to classical Turing computability, called a model-theoretic approach. In that approach, structures and theories are associated to Turing machines in order to study the characteristics of their computations. A model-theoretic approach to Turing...

Uma abordagem modelo-teórica da computabilidade de Turing clássica

Anderson Araújo


										

Uma abordagem modelo-teórica da computabilidade de Turing clássica

Anderson Araújo

    Exemplares