Terminal de consulta web

Computação paraconsistente : uma abordagem logica a computação quantica

Computação paraconsistente : uma abordagem logica a computação quantica

Juan Carlos Agudelo Agudelo

TESE

Português

T/UNICAMP Ag91c

[Paraconsisted computation]

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

161 p. : il.

Orientador: Walter Alexandre Carnielli

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas

Resumo: Neste trabalho levantamos, e investigamos do ponto de vista conceitual, evidências de que a complexidade algorítmica pode ser vista como relativa à lógica. Propomos, para tanto, novos modelos de computação fundados sobre lógicas não-clássicas, estudando suas características quanto à... Ver mais
Abstract: This work provides evidences to view computational complexity as logic-relative, by introducing new models of computation through non-classical logics and by studying their features with respect to computational expressivity and efficiency. From this point of view, we suggest a new way to... Ver mais

Computação paraconsistente : uma abordagem logica a computação quantica

Juan Carlos Agudelo Agudelo

										

Computação paraconsistente : uma abordagem logica a computação quantica

Juan Carlos Agudelo Agudelo

    Exemplares

    Nº de exemplares: 2
    Não existem reservas para esta obra