000042157 001__ 42157 000042157 005__ 20170831221054.0 000042157 037__ $$aGDOC-2012-1710 000042157 041__ $$aspa 000042157 100__ $$0(orcid)0000-0002-9109-5337$$aMayordomo Cámara, Elvira 000042157 24500 $$930214$$aTeoría de la computación 000042157 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2012-2013 000042157 520__ $$aEl 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. 000042157 521__ $$9148$$aGraduado en Ingeniería Informática 000042157 540__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000042157 700__ $$0(orcid)0000-0001-5066-4030$$aColom Piazuelo, José Manuel 000042157 700__ $$0(orcid)0000-0001-6443-3815$$aDe Miguel Casado, Gregorio 000042157 700__ $$0(orcid)0000-0001-5111-8357$$aRequeno Jarabo, José Ignacio 000042157 700__ $$0(orcid)0000-0001-9895-0837$$aGallardo Casero, Jesús 000042157 830__ $$9439 000042157 830__ $$9443 000042157 8564_ $$s84958$$uhttps://zaguan.unizar.es/record/42157/files/guia.pdf$$yGuía (idioma español) 000042157 980__ $$aGDOC$$bIngeniería y Arquitectura$$c110 000042157 980__ $$aGDOC$$bIngeniería y Arquitectura$$c326