{"id":197,"date":"2017-06-30T05:09:50","date_gmt":"2017-06-30T05:09:50","guid":{"rendered":"http:\/\/dectau.uclm.es\/Pascual.Julian\/?page_id=197"},"modified":"2018-07-21T18:59:25","modified_gmt":"2018-07-21T18:59:25","slug":"programacion-declarativa","status":"publish","type":"page","link":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/programacion-declarativa\/","title":{"rendered":"Programaci\u00f3n Declarativa"},"content":{"rendered":"<h5 style=\"text-align: center;\"><strong>Caracter\u00edsticas Generales<\/strong><\/h5>\n<p><strong>Cr\u00e9ditos: \u00a0<\/strong>6<br \/>\n<strong>Titulaci\u00f3n:<\/strong>\u00a0 Departamento de Tecnolog\u00edas y Sistemas de Informaci\u00f3n.<br \/>\n<strong>Car\u00e1cter:<\/strong>\u00a0 Obligatoria en la intensificaci\u00f3n en Computaci\u00f3n.<br \/>\n<strong>Curso:\u00a0 <\/strong>3\u00ba.<br \/>\n<strong>Temporalidad:\u00a0 <\/strong>Cuatrimestral (2\u00ba cuatrimestre).<br \/>\n<strong>Departamento: <\/strong>Departamento de Tecnolog\u00edas y Sistemas de Informaci\u00f3n.<br \/>\n<strong>Profesores:\u00a0<\/strong>Pascual Juli\u00e1n Iranzo.<br \/>\n<strong>Pre-requisitos (recomendaciones):\u00a0<\/strong>\u00a0L\u00f3gica, Fundamentos de Programaci\u00f3n I y II. Metodolog\u00eda de la Programaci\u00f3n, Estructuras de Datos.<\/p>\n<p><strong>Objetivos: <\/strong><\/p>\n<ul>\n<li style=\"list-style-type: none;\">\n<ul>\n<li>Introducir la Programaci\u00f3n Declarativa como una alternativa viable al paradigma de programaci\u00f3n imperativo cl\u00e1sico.<\/li>\n<li>Presentar los dos enfoques principales del paradigma de programaci\u00f3n declarativo: La Programaci\u00f3n L\u00f3gica y la Programaci\u00f3n Funcional.<\/li>\n<li>Introducir conceptos sobre la teor\u00eda de los lenguajes de programaci\u00f3n que son dif\u00edciles de introducir cuando se emplean otros paradigmas: lenguaje de programaci\u00f3n como sistema formal; sem\u00e1ntica de los lenguajes de programaci\u00f3n &#8230;<\/li>\n<li>Se pretende que el alumno adquiera las siguientes capacidades y conocimientos:<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p style=\"padding-left: 60px;\">1) Capacidad para escribir programas con un significado declarativo en diferentes l\u00f3gicas;<\/p>\n<p style=\"padding-left: 60px;\">2) Capacidad para entender los mecanismos computacionales asociados a los diferentes estilos de programaci\u00f3n declarativa y controlar los mecanismos de deducci\u00f3n correspondientes;<\/p>\n<p style=\"padding-left: 60px;\">3) Capacidad para comparar las distintas soluciones desarrolladas en los diferentes estilos declarativos y sus correlatos en lenguajes imperativos;<\/p>\n<p style=\"padding-left: 60px;\">4) Formaci\u00f3n s\u00f3lida en los aspectos formales b\u00e1sicos de cada estilo;<\/p>\n<p style=\"padding-left: 60px;\">5) Comprender la relaci\u00f3n de esta materia con otras disciplinas de la Inform\u00e1tica y su aplicaci\u00f3n a las mismas.<\/p>\n<p style=\"text-align: justify;\"><strong>Estructura del temario:<\/strong>\u00a0<span style=\"color: #ff0000;\">Introducci\u00f3n<\/span>. <span style=\"color: #ff0000;\">Programaci\u00f3n l\u00f3gica<\/span>: Bases te\u00f3ricas de la programaci\u00f3n l\u00f3gica y aplicaciones de la programaci\u00f3n l\u00f3gica. <span style=\"color: #ff0000;\">Programaci\u00f3n funcional<\/span>: T\u00e9cnicas b\u00e1sicas y avanzadas, modos de evaluaci\u00f3n.<\/p>\n<p style=\"text-align: justify;\"><strong>Docencia:<\/strong> 3 horas semanales de teor\u00eda y problemas y 1,5 horas de pr\u00e1ctica en laboratorio.<\/p>\n<p style=\"text-align: justify;\"><strong>Metodo de Evaluaci\u00f3n:\u00a0<\/strong>Consta de una prueba final (50% de la nota total), dos ex\u00e1menes de pr\u00e1cticas (25% de la nota total), elaboraci\u00f3n y presentaci\u00f3n de un caso de estudio (15% de la nota total) y la entrega y exposici\u00f3n oral de un ensayo (10% de la nota total).<\/p>\n<p><span style=\"color: #ff0000;\"><strong>[Para m\u00e1s informaci\u00f3n, consulte la Gu\u00eda Docente de la Asignatura de Programaci\u00f3n Declarativa]<\/strong><\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Caracter\u00edsticas Generales Cr\u00e9ditos: \u00a06 Titulaci\u00f3n:\u00a0 Departamento de Tecnolog\u00edas y Sistemas de Informaci\u00f3n. Car\u00e1cter:\u00a0 Obligatoria en la intensificaci\u00f3n en Computaci\u00f3n. Curso:\u00a0 3\u00ba. Temporalidad:\u00a0 Cuatrimestral (2\u00ba cuatrimestre). Departamento: Departamento de Tecnolog\u00edas y Sistemas de Informaci\u00f3n. Profesores:\u00a0Pascual Juli\u00e1n Iranzo. Pre-requisitos (recomendaciones):\u00a0\u00a0L\u00f3gica, Fundamentos de Programaci\u00f3n I y II. Metodolog\u00eda de la Programaci\u00f3n, Estructuras de Datos. Objetivos: Introducir la Programaci\u00f3n &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/programacion-declarativa\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Programaci\u00f3n Declarativa&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-197","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/197","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/comments?post=197"}],"version-history":[{"count":10,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/197\/revisions"}],"predecessor-version":[{"id":347,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/197\/revisions\/347"}],"wp:attachment":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/media?parent=197"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}