Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial

Detalhes bibliográficos
Autor(a) principal: Felix Lopes da Silva, Emmanuel
Data de Publicação: 2008
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFPE
dARK ID: ark:/64986/0013000000sr1
Texto Completo: https://repositorio.ufpe.br/handle/123456789/1300
Resumo: Nesta tese desenvolvemos uma caracterização das funções computáveis em espaço polinomial por meio da lógica de primeira ordem de seqüência binárias. Provamos, também, um resultado análogo ao Teorema de Parikh sobre limitação polinomial no tamanho de crescimento das funções de…níveis em tal sistema. Este trabalho é uma extensão natural do sistema desenvolvido pelo Professor Fernando Ferreira da Universidade de Lisboa, que trata das funções computáveis em tempo polinomial
id UFPE_61f13bbaa17dd8912692fe015dcb088c
oai_identifier_str oai:repositorio.ufpe.br:123456789/1300
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str 2221
spelling Felix Lopes da Silva, EmmanuelJosé Guerra Barreto de Queiroz, Ruy 2014-06-12T15:48:52Z2014-06-12T15:48:52Z2008-01-31Felix Lopes da Silva, Emmanuel; José Guerra Barreto de Queiroz, Ruy. Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial. 2008. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2008.https://repositorio.ufpe.br/handle/123456789/1300ark:/64986/0013000000sr1Nesta tese desenvolvemos uma caracterização das funções computáveis em espaço polinomial por meio da lógica de primeira ordem de seqüência binárias. Provamos, também, um resultado análogo ao Teorema de Parikh sobre limitação polinomial no tamanho de crescimento das funções de…níveis em tal sistema. Este trabalho é uma extensão natural do sistema desenvolvido pelo Professor Fernando Ferreira da Universidade de Lisboa, que trata das funções computáveis em tempo polinomialporUniversidade Federal de PernambucoAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessComplexidade computacionalAritméticaFragmentosPSPACECaracterização aritmética em primeira ordem de funções computáveis em espaço polinomialinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPETHUMBNAILEFLS.pdf.jpgEFLS.pdf.jpgGenerated Thumbnailimage/jpeg1337https://repositorio.ufpe.br/bitstream/123456789/1300/4/EFLS.pdf.jpg5a81b1ac38586fc487d37dbe4f6eed92MD54LICENSElicense.txttext/plain1748https://repositorio.ufpe.br/bitstream/123456789/1300/1/license.txt8a4605be74aa9ea9d79846c1fba20a33MD51ORIGINALEFLS.pdfEFLS.pdfapplication/pdf576934https://repositorio.ufpe.br/bitstream/123456789/1300/2/EFLS.pdf4075fb1e4ae27936efeca088c0a18ac1MD52TEXTEFLS.pdf.txtEFLS.pdf.txtExtracted texttext/plain99131https://repositorio.ufpe.br/bitstream/123456789/1300/3/EFLS.pdf.txt7a87f691c0d3b86a4301b426a591ef74MD53123456789/13002019-10-25 11:23:41.203oai:repositorio.ufpe.br:123456789/1300Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T14:23:41Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.pt_BR.fl_str_mv Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial
title Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial
spellingShingle Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial
Felix Lopes da Silva, Emmanuel
Complexidade computacional
Aritmética
Fragmentos
PSPACE
title_short Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial
title_full Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial
title_fullStr Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial
title_full_unstemmed Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial
title_sort Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial
author Felix Lopes da Silva, Emmanuel
author_facet Felix Lopes da Silva, Emmanuel
author_role author
dc.contributor.author.fl_str_mv Felix Lopes da Silva, Emmanuel
dc.contributor.advisor1.fl_str_mv José Guerra Barreto de Queiroz, Ruy
contributor_str_mv José Guerra Barreto de Queiroz, Ruy
dc.subject.por.fl_str_mv Complexidade computacional
Aritmética
Fragmentos
PSPACE
topic Complexidade computacional
Aritmética
Fragmentos
PSPACE
description Nesta tese desenvolvemos uma caracterização das funções computáveis em espaço polinomial por meio da lógica de primeira ordem de seqüência binárias. Provamos, também, um resultado análogo ao Teorema de Parikh sobre limitação polinomial no tamanho de crescimento das funções de…níveis em tal sistema. Este trabalho é uma extensão natural do sistema desenvolvido pelo Professor Fernando Ferreira da Universidade de Lisboa, que trata das funções computáveis em tempo polinomial
publishDate 2008
dc.date.issued.fl_str_mv 2008-01-31
dc.date.accessioned.fl_str_mv 2014-06-12T15:48:52Z
dc.date.available.fl_str_mv 2014-06-12T15:48:52Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv Felix Lopes da Silva, Emmanuel; José Guerra Barreto de Queiroz, Ruy. Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial. 2008. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2008.
dc.identifier.uri.fl_str_mv https://repositorio.ufpe.br/handle/123456789/1300
dc.identifier.dark.fl_str_mv ark:/64986/0013000000sr1
identifier_str_mv Felix Lopes da Silva, Emmanuel; José Guerra Barreto de Queiroz, Ruy. Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial. 2008. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2008.
ark:/64986/0013000000sr1
url https://repositorio.ufpe.br/handle/123456789/1300
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
bitstream.url.fl_str_mv https://repositorio.ufpe.br/bitstream/123456789/1300/4/EFLS.pdf.jpg
https://repositorio.ufpe.br/bitstream/123456789/1300/1/license.txt
https://repositorio.ufpe.br/bitstream/123456789/1300/2/EFLS.pdf
https://repositorio.ufpe.br/bitstream/123456789/1300/3/EFLS.pdf.txt
bitstream.checksum.fl_str_mv 5a81b1ac38586fc487d37dbe4f6eed92
8a4605be74aa9ea9d79846c1fba20a33
4075fb1e4ae27936efeca088c0a18ac1
7a87f691c0d3b86a4301b426a591ef74
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1815172683603640320

Registros relacionados