spa Mayordomo Cámara, Elvira Colom Piazuelo, José Manuel De Miguel Casado, Gregorio Requeno Jarabo, José Ignacio Gallardo Casero, Jesús Teoría de la computación GDOC-2012-1710 El principal objetivo de la asignatura es presentar las capacidades y limitaciones en la resolución de problemas mediante algoritmos que ejecutan de forma automática los computadores (entendidos como máquinas). Esto requerirá técnicas de abstracción de problemas y reducción a otros bien estudiados. En la asignatura se presentan conceptos y métodos que permitirán decidir qué problemas se pueden resolver algorítmicamente así como la evaluación de costes para su resolución. Universidad de Zaragoza 2012-2013 http://zaguan.unizar.es/record/42157 http://zaguan.unizar.es/record/42157