{"id":275,"date":"2017-07-10T01:49:11","date_gmt":"2017-07-10T01:49:11","guid":{"rendered":"http:\/\/dectau.uclm.es\/Pascual.Julian\/?page_id=275"},"modified":"2025-11-16T23:27:22","modified_gmt":"2025-11-16T23:27:22","slug":"teaching","status":"publish","type":"page","link":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/teaching\/","title":{"rendered":"Teaching"},"content":{"rendered":"<div id=\"content\" class=\"site-content\">\n<div class=\"wrap\">\n<div id=\"primary\" class=\"content-area\">\n<article id=\"post-28\" class=\"post-28 page type-page status-publish hentry\">\n<div class=\"entry-content\">\n<h5 style=\"padding-left: 30px;\"><img loading=\"lazy\" decoding=\"async\" class=\"alignleft wp-image-135\" src=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/wp-content\/uploads\/2017\/06\/esi_cr-300x187.png\" alt=\"\" width=\"225\" height=\"140\" \/>\u00a0 \u00a0 \u00a0 \u00a0Tutor\u00edas<img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-323\" src=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/wp-content\/uploads\/2018\/07\/iconew.gif\" alt=\"\" width=\"65\" height=\"27\" \/><\/h5>\n<p style=\"padding-left: 30px; text-align: left;\"><span style=\"color: #ff0000;\"><span style=\"caret-color: #ff0000;\">Lunes<\/span><\/span>: de 10:30 a 11:30 horas<br \/>\n<span style=\"color: #ff0000;\">Martes:<\/span> de 13:00 a 14:30 horas<br \/>\n<span style=\"color: #ff0000;\">Mi\u00e9rcoles<\/span>: de 10:00 a 13:00 horas<\/p>\n<h5>L\u00f3gica<\/h5>\n<ul style=\"text-align: justify;\">\n<li><a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/enlaces\/\" target=\"_blank\" rel=\"noopener\">Caracter\u00edsticas generales<\/a><\/li>\n<li><a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/logica-temario\/\" target=\"_blank\" rel=\"noopener\">Temario y Bibliograf\u00eda<\/a><\/li>\n<li>Apuntes: <a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/wp-content\/uploads\/2017\/06\/sl_apLO.pdf\">Transparencias<\/a> y\u00a0<a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/wp-content\/uploads\/2022\/12\/practicasLogica.pdf\">Pr\u00e1cticas de L\u00f3gica<\/a><\/li>\n<li>Colecci\u00f3n de ejercicios de deducci\u00f3n natural en la l\u00f3gica proposicional (<a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/wp-content\/uploads\/2022\/12\/Lista_Problemas_LOGICA.pdf\">aqu\u00ed<\/a>).<\/li>\n<li>Tablas con las reglas de inferencia del sistema de deducci\u00f3n natural: <a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/wp-content\/uploads\/2017\/06\/Tablas_reglas_enun.pdf\" target=\"_blank\" rel=\"noopener\">Enunciados<\/a>, <a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/wp-content\/uploads\/2017\/06\/Tablas_reglas_pred.pdf\" target=\"_blank\" rel=\"noopener\">Predicados.<\/a><\/li>\n<li><a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/enlaces-log\/\" target=\"_blank\" rel=\"noopener\">Enlaces<\/a>.<\/li>\n<li><a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/wp-content\/uploads\/2017\/06\/LO_Portada1.pdf\" target=\"_blank\" rel=\"noopener\"><strong>L\u00f3gica Simb\u00f3lica para Inform\u00e1ticos<\/strong><\/a>, Editorial RAMA (Julio de 2004)<\/li>\n<\/ul>\n<h5>Programaci\u00f3n Declarativa<\/h5>\n<ul style=\"text-align: justify;\">\n<li><a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/programacion-declarativa\/\" target=\"_blank\" rel=\"noopener\">Caracter\u00edsticas generales<\/a><\/li>\n<li><a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/programacion-declarativa-temario\/\" target=\"_blank\" rel=\"noopener\">Temario y Bibliograf\u00eda<\/a><\/li>\n<li>Apuntes: <a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/transparencias-y-ejercicios-de-practicas\/\">Transparencias y ejercicios de pr\u00e1cticas<\/a><\/li>\n<li><a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/enlaces-pd\/\" target=\"_blank\" rel=\"noopener\">Enlaces<\/a>.<\/li>\n<li><a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/wp-content\/uploads\/2018\/07\/portada_libro_pd.pdf\"><strong>Programaci\u00f3n l\u00f3gica : teor\u00eda y pr\u00e1ctica<\/strong><\/a>. Pearson Prentice Hall, 2007.<\/li>\n<\/ul>\n<h5>Master Y Cursos de Doctorado<\/h5>\n<p style=\"text-align: justify;\"><b>Programaci\u00f3n Internet con Lenguajes Declarativos Multiparadigma<\/b>, asignatura de cuatro cr\u00e9ditos dentro del programa del <em>Master en Tecnolog\u00edas Inform\u00e1ticas Avanzadas<\/em>. El curso es impartido en colaboraci\u00f3n con Gin\u00e9s Moreno.<br \/>\n<em>Objetivo:<\/em> Que el alumno conozca los fundamentos y caracter\u00edsticas de los lenguajes declarativos multiparadigma. Presentar un ejemplo concreto de lenguaje declarativo multiparadigma (el lenguaje <a href=\"http:\/\/www.informatik.uni-kiel.de\/%7Ecurry\/\" target=\"_blank\" rel=\"noopener\">Curry<\/a>) y sus aplicaciones a la programaci\u00f3n internet.<br \/>\n<em>Temario:<\/em> Una idea aproximada del temario puede obtenerse <a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/programacion-internet\/\" target=\"_blank\" rel=\"noopener\">aqu\u00ed<\/a>, si bien pueden aparecer algunas variaciones con respecto a la versi\u00f3n final.<br \/>\n<em>Periodo de impartici\u00f3n:<\/em> Febrero \u2013 Abril del a\u00f1o en curso.(Se utiliza la clase magistral y el seminario como t\u00e9cnica did\u00e1ctica y se proponen trabajos que permiten evaluar el progreso del alumnado.)<\/p>\n<h5>Otros Cursos de Doctorado Impartidos<\/h5>\n<p style=\"text-align: justify;\"><b>T\u00e9cnicas de Transformaci\u00f3n Autom\u00e1tica de Programas<\/b>,\u00a0 asignatura de tres cr\u00e9ditos dentro del programa de Tecnolog\u00edas Inform\u00e1ticas Avanzadas.\u00a0 El curso es impartido en colaboraci\u00f3n con Gin\u00e9s Moreno.<br \/>\n<em>Objetivo:<\/em> Que el alumno conozca los fundamentos de la t\u00e9cnicas de transformaci\u00f3n autom\u00e1tica de programas desarrolladas en el \u00e1mbito de los lenguajes l\u00f3gicos y funcionales puros, con especial \u00e9nfasis el las t\u00e9cnicas de evaluaci\u00f3n parcial y las t\u00e9cnicas de transformaci\u00f3n basadas en reglas+estrategias.<br \/>\n<em>Temario:<\/em>Una idea aproximada del temario puede obtenerse <a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/tecnicas-de-transformacion-automatica-de-programas\/\" target=\"_blank\" rel=\"noopener\">aqu\u00ed<\/a>, si bien pueden aparecer algunas variaciones con respecto a la versi\u00f3n final.<br \/>\n<em>Periodo de impartici\u00f3n<\/em>: Febrero \u2013 Julio.<\/p>\n<p style=\"text-align: justify;\"><b>Lenguajes Integrados Multiparadigma<\/b>,\u00a0 asignatura de tres cr\u00e9ditos dentro del programa de Tecnolog\u00edas Inform\u00e1ticas Avanzadas.<br \/>\n<em>Objetivo: <\/em>Que el alumno conozca los fundamentos, caracter\u00edsticas y aplicaciones de los lenguajes declarativos integrados.<br \/>\n<em>Temario:<\/em> Una idea aproximada del temario puede obtenerse <a href=\"http:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/lenguajes-integrados-multiparadigma\/\" target=\"_blank\" rel=\"noopener\">aqu\u00ed<\/a>, si bien pueden aparecer algunas variaciones con respecto a la versi\u00f3n final.<br \/>\n<em>Periodo de impartici\u00f3n:<\/em> Abril \u2013 Julio.<\/p>\n<h5>Docencia en otras asignaturas<\/h5>\n<p style=\"text-align: justify;\"><strong>Sistemas operativos.<\/strong> Algunas publicaciones docentes relacionadas con esta asignatura est\u00e1n disponibles bajo petici\u00f3n:<\/p>\n<ul style=\"text-align: justify;\">\n<li>Utilizaci\u00f3n, Gesti\u00f3n y Mantenimiento de Xodiac. Antonio Garrido del Solo y Pascual Juli\u00e1n Iranzo. 293 p\u00e1ginas. Servicio de Publicaciones de la EUPA \u2013 UCLM. Albacete, 1989. ISBN 84-404-611-51.<\/li>\n<li>Introducci\u00f3n al N\u00facleo de Minix.\u00a0 Pascual Juli\u00e1n Iranzo. 359 p\u00e1ginas. Escuela Superior de Inform\u00e1tica \u2013 UCLM. Ciudad Real, 1997. ISBN 84-605-7846-1.<\/li>\n<li>Una Introducci\u00f3n al entorno de programaci\u00f3n Unix. Pascual Juli\u00e1n Iranzo. 260 p\u00e1ginas. Escuela Superior de Inform\u00e1tica \u2013 UCLM. Ciudad Real, 1995.<\/li>\n<\/ul>\n<p style=\"text-align: justify;\">Tambi\u00e9n he sido profesor responsable de la asignatura de<strong> Inteligencia Artificial<\/strong> durante los cursos 1996\/97 y 1997\/98.<\/p>\n<\/div>\n<\/article>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>\u00a0 \u00a0 \u00a0 \u00a0Tutor\u00edas Lunes: de 10:30 a 11:30 horas Martes: de 13:00 a 14:30 horas Mi\u00e9rcoles: de 10:00 a 13:00 horas L\u00f3gica Caracter\u00edsticas generales Temario y Bibliograf\u00eda Apuntes: Transparencias y\u00a0Pr\u00e1cticas de L\u00f3gica Colecci\u00f3n de ejercicios de deducci\u00f3n natural en la l\u00f3gica proposicional (aqu\u00ed). Tablas con las reglas de inferencia del sistema de deducci\u00f3n natural: &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/teaching\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Teaching&#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-275","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/275","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=275"}],"version-history":[{"count":46,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/275\/revisions"}],"predecessor-version":[{"id":449,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/275\/revisions\/449"}],"wp:attachment":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/media?parent=275"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}