Panorámica de la teoría computacional: desarrollo y problemas abiertos

Trabajo de Fin de Máster en Investigación en Lógica y Filosofía de la Ciencia, curso 2016-2017

Detalhes bibliográficos
Autor: Sanz Herranz, Héctor
Formato: tesis de maestría
Fecha de publicación:2017
País:España
Recursos:Universidad de Salamanca (USAL)
Repositorio:GREDOS. Repositorio Institucional de la Universidad de Salamanca
OAI Identifier:oai:gredos.usal.es:10366/135506
Acesso em linha:http://hdl.handle.net/10366/135506
Access Level:acceso abierto
Palavra-chave:Clase de complejidad
Logic
Theory of science
Complexity class
Problema de decisión
Decision Problem
Máquina de Touring
Turing, Alan
P=NP
id ES_87f6a874cac24f0d1668fb9f04067ea2
oai_identifier_str oai:gredos.usal.es:10366/135506
network_acronym_str ES
network_name_str España
repository_id_str
spelling Panorámica de la teoría computacional: desarrollo y problemas abiertosSanz Herranz, HéctorClase de complejidadLogicTheory of scienceComplexity classProblema de decisiónDecision ProblemMáquina de TouringTuring, AlanP=NPTrabajo de Fin de Máster en Investigación en Lógica y Filosofía de la Ciencia, curso 2016-2017[ES] En este trabajo se exponen sendas introducciones a los conceptos propios de la teoría de la computación y de la teoría de la complejidad computacional, prestando especial atención a los movimientos filosóficos que propiciaron su desarrollo. Asimismo, se presenta una de las incógnitas sin resolver más importantes de laMatemática, la conjetura de Cook, así como sus consiguientes implicaciones al respecto de la naturaleza de los propios problemas.[EN] This dissertation, two introductions are presented to the concepts of computational theory and the computational complexity theory paying special attention to the philosophical movements that led up to its development. Also presents one of the most important unresolved unknows of Mathematics, the Cook’s conjecture, as well as its consequent implications for the nature of the problems themselves.Alonso González, Enrique201720172017info:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10366/135506reponame:GREDOS. Repositorio Institucional de la Universidad de Salamancainstname:Universidad de Salamanca (USAL)EspañolAttribution-NonCommercial-NoDerivs 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:gredos.usal.es:10366/1355062026-06-07T06:28:51Z
dc.title.none.fl_str_mv Panorámica de la teoría computacional: desarrollo y problemas abiertos
title Panorámica de la teoría computacional: desarrollo y problemas abiertos
spellingShingle Panorámica de la teoría computacional: desarrollo y problemas abiertos
Sanz Herranz, Héctor
Clase de complejidad
Logic
Theory of science
Complexity class
Problema de decisión
Decision Problem
Máquina de Touring
Turing, Alan
P=NP
title_short Panorámica de la teoría computacional: desarrollo y problemas abiertos
title_full Panorámica de la teoría computacional: desarrollo y problemas abiertos
title_fullStr Panorámica de la teoría computacional: desarrollo y problemas abiertos
title_full_unstemmed Panorámica de la teoría computacional: desarrollo y problemas abiertos
title_sort Panorámica de la teoría computacional: desarrollo y problemas abiertos
dc.creator.none.fl_str_mv Sanz Herranz, Héctor
author Sanz Herranz, Héctor
author_facet Sanz Herranz, Héctor
author_role author
dc.contributor.none.fl_str_mv Alonso González, Enrique
dc.subject.none.fl_str_mv Clase de complejidad
Logic
Theory of science
Complexity class
Problema de decisión
Decision Problem
Máquina de Touring
Turing, Alan
P=NP
topic Clase de complejidad
Logic
Theory of science
Complexity class
Problema de decisión
Decision Problem
Máquina de Touring
Turing, Alan
P=NP
description Trabajo de Fin de Máster en Investigación en Lógica y Filosofía de la Ciencia, curso 2016-2017
publishDate 2017
dc.date.none.fl_str_mv 2017
2017
2017
dc.type.none.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.none.fl_str_mv http://hdl.handle.net/10366/135506
url http://hdl.handle.net/10366/135506
dc.language.none.fl_str_mv Español
language_invalid_str_mv Español
dc.rights.none.fl_str_mv Attribution-NonCommercial-NoDerivs 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname:Universidad de Salamanca (USAL)
instname_str Universidad de Salamanca (USAL)
reponame_str GREDOS. Repositorio Institucional de la Universidad de Salamanca
collection GREDOS. Repositorio Institucional de la Universidad de Salamanca
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869412515462512640
score 15.301629

Registos relacionados