2026-05-28T20:44:29Zhttps://riuma.uma.es/rest/oai/requestoai:riuma.uma.es:10630/135242026-02-03T11:49:41Zcom_10630_2254col_10630_37959
00925njm 22002777a 4500
dc
Sciavicco, Guido
author
2017-04-28
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.
http://hdl.handle.net/10630/13524
Matemáticas computacionales
Complejidad y computabilidad desde un punto de vista lógico