{"id":169,"date":"2017-06-30T02:59:15","date_gmt":"2017-06-30T02:59:15","guid":{"rendered":"http:\/\/dectau.uclm.es\/Pascual.Julian\/?page_id=169"},"modified":"2018-07-22T01:22:30","modified_gmt":"2018-07-22T01:22:30","slug":"programacion-declarativa-temario","status":"publish","type":"page","link":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/programacion-declarativa-temario\/","title":{"rendered":"Programaci\u00f3n Declarativa- Temario"},"content":{"rendered":"<h5 style=\"text-align: center;\"><strong>TEMARIO DE PROGRAMACION DECLARATIVA<\/strong><\/h5>\n<p>Tema 1. Introducci\u00f3n.<br \/>\nTema 2. Preliminares y fundamentos.<\/p>\n<p><strong>Parte I: Programaci\u00f3n L\u00f3gica.<\/strong><br \/>\nTema 3. De la demostraci\u00f3n autom\u00e1tica a la programaci\u00f3n l\u00f3gica.<br \/>\nTema 4. Programaci\u00f3n l\u00f3gica.<br \/>\nTema 5. De la programaci\u00f3n l\u00f3gica a prolog.<br \/>\nTema 6. Aplicaciones de la programaci\u00f3n l\u00f3gica.<\/p>\n<p><strong>Parte II: Programaci\u00f3n Funcional.<\/strong><br \/>\nTema 7. T\u00e9cnicas de la programaci\u00f3n funcional.<br \/>\nT\u00e9cnicas b\u00e1sicas.<br \/>\nCaracter\u00edsticas avanzadas: abstracci\u00f3n y orden superior.<br \/>\nTema 8. Modos de evaluaci\u00f3n.<\/p>\n<p><strong>PR\u00c1CTICAS DE LABORATORIO.<\/strong><br \/>\nParte I: programaci\u00f3n l\u00f3gica (lenguaje prolog).<br \/>\nParte II: programaci\u00f3n funcional (lenguaje haskell).<\/p>\n<p><strong>BIBLIOGRAFIA.<\/strong><br \/>\n[Apt 97] K.R. Apt. From Logic Programming to Prolog. Prentice-Hall, 1997.<br \/>\n[Bird00] R. Bird. Introducci\u00f3n a la Programaci\u00f3n Funcional con Haskell. Prentice Hall, 2000.<br \/>\n[Bratko90] Ivan Bratko. PROLOG, Programming for Artificial Intelligence (2\u00aa Edici\u00f3n), Addison &#8211; Wesley, 1990.<br \/>\n[Field 88] A. J. Field, P. G. Harrison. Functional Programming. Addison &#8211; Wesley, 1988.<br \/>\n[JA2007] P. Juli\u00e1n-Iranzo &amp; M. Alpuente Frasnedo. Programaci\u00f3n l\u00f3gica : teor\u00eda y pr\u00e1ctica. Pearson Prentice Hall, 2007.<br \/>\n[Kow 79] Kowalski, R., Logic for problem solving. North Holland, N. Y., 1979. (P\u00e9sima traducci\u00f3n castellana de J. A. Calle: L\u00f3gica, programaci\u00f3n e Inteligencia Artificial. Diaz de Santos, Madrid, 1986)<br \/>\n[Lloyd 87] J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987.<br \/>\n[Reade 89] C. Reade. Elements of Functional Programming. Addison &#8211; Wesley, 1989.<br \/>\n[RGGG 04] B, Ruiz, F. Guti\u00e9rrez, P. Guerrero &amp; J.E. Gallardo. Razonando con Haskell: Un curso sobre programaci\u00f3n funcional. Thomson-Paraninfo. 2004<\/p>\n","protected":false},"excerpt":{"rendered":"<p>TEMARIO DE PROGRAMACION DECLARATIVA Tema 1. Introducci\u00f3n. Tema 2. Preliminares y fundamentos. Parte I: Programaci\u00f3n L\u00f3gica. Tema 3. De la demostraci\u00f3n autom\u00e1tica a la programaci\u00f3n l\u00f3gica. Tema 4. Programaci\u00f3n l\u00f3gica. Tema 5. De la programaci\u00f3n l\u00f3gica a prolog. Tema 6. Aplicaciones de la programaci\u00f3n l\u00f3gica. Parte II: Programaci\u00f3n Funcional. Tema 7. T\u00e9cnicas de la programaci\u00f3n &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/programacion-declarativa-temario\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Programaci\u00f3n Declarativa- Temario&#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-169","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/169","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=169"}],"version-history":[{"count":6,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/169\/revisions"}],"predecessor-version":[{"id":361,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/169\/revisions\/361"}],"wp:attachment":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/media?parent=169"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}