RT Conference Proceedings
T1 Complejidad y computabilidad desde un punto de vista lógico
A1 Sciavicco, Guido
K1 Matemáticas computacionales
AB En esta charla trataremos temas clasicos de complejidad y computabilidad visto desde un punto de vista lógico. En particular, veremos como a cada clase de complejidad corresponde, en general, un problema de satisfiactibilidad de fórmulas de un lenguaje lógico concreto, mostrando así como la jerarquía computacional es, en efecto, una jerarquía lógica. Trataremos entonces los teorema de Goedel, de Cook, y otros teoremas clasicos desde un nuevo punto de vista.
YR 2017
FD 2017-04-28
LK http://hdl.handle.net/10630/13524
UL http://hdl.handle.net/10630/13524
LA spa
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 20 ene 2026