42157 20170831221054.0 GDOC-2012-1710 spa (orcid)0000-0002-9109-5337 Mayordomo Cámara, Elvira 30214 Teoría de la computación Zaragoza Universidad de Zaragoza 2012-2013 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. 148 Graduado en Ingeniería Informática by-nc-sa Creative Commons 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ (orcid)0000-0001-5066-4030 Colom Piazuelo, José Manuel (orcid)0000-0001-6443-3815 De Miguel Casado, Gregorio (orcid)0000-0001-5111-8357 Requeno Jarabo, José Ignacio (orcid)0000-0001-9895-0837 Gallardo Casero, Jesús 439 443 84958 http://zaguan.unizar.es/record/42157/files/guia.pdf Guía (idioma español) GDOC Ingeniería y Arquitectura 110 GDOC Ingeniería y Arquitectura 326