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

Detalles Bibliográficos
Autor: Sanz Herranz, Héctor
Tipo de recurso: tesis de maestría
Fecha de publicación:2017
País:España
Institución:Universidad de Salamanca (USAL)
Repositorio:GREDOS. Repositorio Institucional de la Universidad de Salamanca
OAI Identifier:oai:gredos.usal.es:10366/135506
Acceso en línea:http://hdl.handle.net/10366/135506
Access Level:acceso abierto
Palabra clave:Clase de complejidad
Logic
Theory of science
Complexity class
Problema de decisión
Decision Problem
Máquina de Touring
Turing, Alan
P=NP
Descripción
Sumario:Trabajo de Fin de Máster en Investigación en Lógica y Filosofía de la Ciencia, curso 2016-2017