Tutorías
Martes: de 10:00 a 11:30 horas
Lunes, martes y jueves: de 11:30 a 13 horas
Lógica
- Características generales
- Temario y Bibliografía
- Apuntes: Transparencias y Prácticas de Lógica
- Colección de ejercicios de deducción natural en la lógica proposicional (aquí).
- Tablas con las reglas de inferencia del sistema de deducción natural: Enunciados, Predicados.
- Enlaces.
- Lógica Simbólica para Informáticos, Editorial RAMA (Julio de 2004)
Programación Declarativa
- Características generales
- Temario y Bibliografía
- Apuntes: Transparencias y ejercicios de prácticas
- Enlaces.
- Programación lógica : teoría y práctica. Pearson Prentice Hall, 2007.
Master Y Cursos de Doctorado
Programación Internet con Lenguajes Declarativos Multiparadigma, asignatura de cuatro créditos dentro del programa del Master en Tecnologías Informáticas Avanzadas. El curso es impartido en colaboración con Ginés Moreno.
Objetivo: Que el alumno conozca los fundamentos y características de los lenguajes declarativos multiparadigma. Presentar un ejemplo concreto de lenguaje declarativo multiparadigma (el lenguaje Curry) y sus aplicaciones a la programación internet.
Temario: Una idea aproximada del temario puede obtenerse aquí, si bien pueden aparecer algunas variaciones con respecto a la versión final.
Periodo de impartición: Febrero – Abril del año en curso.(Se utiliza la clase magistral y el seminario como técnica didáctica y se proponen trabajos que permiten evaluar el progreso del alumnado.)
Otros Cursos de Doctorado Impartidos
Técnicas de Transformación Automática de Programas, asignatura de tres créditos dentro del programa de Tecnologías Informáticas Avanzadas. El curso es impartido en colaboración con Ginés Moreno.
Objetivo: Que el alumno conozca los fundamentos de la técnicas de transformación automática de programas desarrolladas en el ámbito de los lenguajes lógicos y funcionales puros, con especial énfasis el las técnicas de evaluación parcial y las técnicas de transformación basadas en reglas+estrategias.
Temario:Una idea aproximada del temario puede obtenerse aquí, si bien pueden aparecer algunas variaciones con respecto a la versión final.
Periodo de impartición: Febrero – Julio.
Lenguajes Integrados Multiparadigma, asignatura de tres créditos dentro del programa de Tecnologías Informáticas Avanzadas.
Objetivo: Que el alumno conozca los fundamentos, características y aplicaciones de los lenguajes declarativos integrados.
Temario: Una idea aproximada del temario puede obtenerse aquí, si bien pueden aparecer algunas variaciones con respecto a la versión final.
Periodo de impartición: Abril – Julio.
Docencia en otras asignaturas
Sistemas operativos. Algunas publicaciones docentes relacionadas con esta asignatura están disponibles bajo petición:
- Utilización, Gestión y Mantenimiento de Xodiac. Antonio Garrido del Solo y Pascual Julián Iranzo. 293 páginas. Servicio de Publicaciones de la EUPA – UCLM. Albacete, 1989. ISBN 84-404-611-51.
- Introducción al Núcleo de Minix. Pascual Julián Iranzo. 359 páginas. Escuela Superior de Informática – UCLM. Ciudad Real, 1997. ISBN 84-605-7846-1.
- Una Introducción al entorno de programación Unix. Pascual Julián Iranzo. 260 páginas. Escuela Superior de Informática – UCLM. Ciudad Real, 1995.
También he sido profesor responsable de la asignatura de Inteligencia Artificial durante los cursos 1996/97 y 1997/98.