Guía docente de la asignatura
(1923) PROGRAMACIÓN PARA LA IA

Curso académico 2026/2027

  1. Identificación

    1. De la asignatura

      Curso Académico
      2026/2027
      Titulación
      GRADO EN INGENIERÍA INFORMÁTICA
      PROGRAMA ACADÉMICO DE SIMULTANEIDAD DE DOBLE TITULACIÓN CON ITINERARIO ESPECIFICO DE GRADO EN MATEMÁTICAS Y GRADO EN INGENIERÍA INFORMÁTICA
      Nombre de la asignatura
      PROGRAMACIÓN PARA LA IA
      Código
      1923
      Curso
      CUARTO
      QUINTO
      Carácter
      OPTATIVA
      Número de grupos
      2
      Créditos ECTS
      6.0
      Estimación del volumen de trabajo
      150.0
      150.0
      Organización temporal
      1º Cuatrimestre
      1º Cuatrimestre
      Idiomas en que se imparte
      Español
      Curso Académico 2026/2027
      Titulación

      GRADO EN INGENIERÍA INFORMÁTICA,

      PROGRAMA ACADÉMICO DE SIMULTANEIDAD DE DOBLE TITULACIÓN CON ITINERARIO ESPECIFICO DE GRADO EN MATEMÁTICAS Y GRADO EN INGENIERÍA INFORMÁTICA
      Nombre de la asignatura PROGRAMACIÓN PARA LA IA
      Código 1923
      Curso CUARTO QUINTO
      Carácter OPTATIVA
      Número de grupos 2
      Créditos ECTS 6.0
      Estimación del volumen de trabajo 150.0 150.0
      Organización temporal 1º Cuatrimestre 1º Cuatrimestre
      Idiomas en que se imparte Español

    2. Del profesorado: Equipo docente

      • CARDENAS VIEDMA, MARIA ANTONIA Docente: GRUPO 1, GRUPO DTIE Coordinación de los grupos: GRUPO 1, GRUPO DTIE Coordinador de la asignatura

        Categoría

        PROFESORES TITULARES DE UNIVERSIDAD

        Área

        CIENCIA DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL

        Departamento

        INGENIERÍA DE LA INFORMACIÓN Y LAS COMUNICACIONES

        Correo electrónico / Página web / Tutoría electrónica

        mariancv@um.es Tutoría electrónica: Sí

        Teléfono, horario y lugar de atención al alumnado

        Duración:
        C2         		Día:
        Miércoles         		Horario:
        10:00-12:00         		Lugar:
        (Sin Extensión), Facultad de Informática B1.1.043
        Observaciones:
        Despacho 1.31
        Duración:
        C1         		Día:
        Miércoles         		Horario:
        11:45-13:45         		Lugar:
        (Sin Extensión), Facultad de Informática B1.1.043
        Observaciones:
        Despacho 1.31
        Duración:
        C1         		Día:
        Jueves         		Horario:
        12:30-13:30         		Lugar:
        (Sin Extensión), Facultad de Informática B1.1.043
        Observaciones:
        Despacho 1.31
        Duración:
        C2         		Día:
        Martes         		Horario:
        11:00-12:00         		Lugar:
        (Sin Extensión), Facultad de Informática B1.1.043
        Observaciones:
        Despacho 1.31

  2. Presentación

    La asignatura pretende introducir al alumno en un estilo de programación asociado de forma tradicional a la Inteligencia Artificial: el paradigma funcional.

    Se realizará un acercamiento a dicho paradigma desde dos puntos de vista diferentes: el teórico, para el que se usará el Lambda-cálculo (modelo introducido por Alonzo Church) y el práctico, concretado en el lenguaje de programación Haskell.

  3. Condiciones de acceso a la asignatura

    1. Incompatibilidades

      No constan

    2. Requisitos

      No constan

    3. Recomendaciones

      No existen recomendaciones para esta asignatura.

  4. Competencias

    1. Competencias básicas

      • CB1: Que los estudiantes hayan demostrado poseer y comprender conocimientos en un área de estudio que parte de la base de la educación secundaria general, y se suele encontrar a un nivel que, si bien se apoya en libros de texto avanzados, incluye también algunos aspectos que implican conocimientos procedentes de la vanguardia de su campo de estudio
      • CB2: Que los estudiantes sepan aplicar sus conocimientos a su trabajo o vocación de una forma profesional y posean las competencias que suelen demostrarse por medio de la elaboración y defensa de argumentos y la resolución de problemas dentro de su área de estudio
      • CB5: Que los estudiantes hayan desarrollado aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grado de autonomía

    2. Competencias de la titulación

      • CGII1: Capacidad de análisis y síntesis.
      • CGII2: Capacidad de organización y planificación.
      • CGII3: Comunicación oral y escrita en la lengua nativa.
      • CGII5: Conocimientos de informática relativos al ámbito de estudio.
      • CGII7: Resolución de problemas.
      • CGII8: Toma de decisiones.
      • CGII14: Razonamiento crítico.
      • CGII16: Aprendizaje autónomo.
      • CGII17: Adaptación a nuevas situaciones.
      • CGII18: Creatividad
      • CGII22: Motivación por la calidad.
      • CGUM3: Ser capaz de gestionar la información y el conocimiento en su ámbito disciplinar, incluyendo saber utilizar como usuario las herramientas básicas en TIC.
      • CEII8: Conocimiento de las materias básicas y tecnologías, que capaciten para el aprendizaje y desarrollo de nuevos métodos y tecnologías, así como las que les doten de una gran versatilidad para adaptarse a nuevas situaciones.

    3. Competencias transversales y de materia

      • C2: Capacidad para conocer los fundamentos teóricos de los lenguajes de programación y las técnicas de procesamiento léxico, sintáctico y semántico asociadas, y saber aplicarlas para la creación, diseño y procesamiento de lenguajes
      • C4: Capacidad para conocer los fundamentos, paradigmas y técnicas propias de los sistemas inteligentes y analizar, diseñar y construir sistemas, servicios y aplicaciones informáticas que utilicen dichas técnicas en cualquier ámbito de aplicación
      • C5: Capacidad para adquirir, obtener, formalizar y representar el conocimiento humano en una forma computable para la resolución de problemas mediante un sistema informático en cualquier ámbito de aplicaciones y sistemas que las utilicen, incluyendo las dedicadas a extracción automática de información ambientes o entornos inteligentes

  5. Contenidos

    1. Teoría

      Bloque 1: Visión general

      Tema 1: Introducción

      Bloque 2: Lambda-cálculo

      Tema 1: El Lambda-cálculo como sistema formal

      Tema 2: El Lambda-cálculo como lenguaje de programación

      Bloque 3: Haskell

      Tema 1: Definición de funciones y reducción de expresiones

      Tema 2: Tipos y clases de tipos

      Tema 3: Listas y árboles

      Tema 4: Entrada/salida y programación modular

    2. Prácticas

      • Práctica 1: Resolución de ejercicios de lambda-cálculo

        Autoevaluación con ejercicios resueltos y mediante un simulador

        Relacionado con:
        • Bloque 2: Lambda-cálculo
        • Tema 1: El Lambda-cálculo como sistema formal
        • Tema 2: El Lambda-cálculo como lenguaje de programación

      • Práctica 2: Resolución e implementación de ejercicios de programación en Haskell

        Autoevaluación en laboratorio

        Relacionado con:
        • Bloque 3: Haskell
        • Tema 1: Definición de funciones y reducción de expresiones
        • Tema 2: Tipos y clases de tipos
        • Tema 3: Listas y árboles
        • Tema 4: Entrada/salida y programación modular

  6. Actividades Formativas

    Actividad Formativa Metodología Horas Presencialidad
    A1: Actividades con grupo grande de alumnos entre las que se encuentran la presentación en el aula de los conceptos propios de la materia mediante metodología expositiva con lecciones magistrales participativas y medios audiovisuales. También se contemplan en este grupo las actividades de evaluación teórico prácticas.
    • Explicación en clase de conceptos teóricos incentivando la participación del alumno con ejercicios y cuestiones planteados con ese fin.
    • Evaluación final con una componente teórica y otra práctica en laboratorio.
    		 24.0 40.0
    A2: Actividades con grupo mediano en el aula de resolución de problemas, seminarios, charlas, ejercicios basados en el aprendizaje orientado a proyectos, estudios de casos, exposición y discusión de trabajos relativas al seguimiento individual y/o grupal de adquisición de las competencias.

    Resolución de ejercicios en grupo.

    		 7.5 12.5
    A3: Actividades con grupo pequeño en el laboratorio relacionadas con la componente práctica de las asignaturas, desarrollo de trabajos con equipo técnico especializado, desarrollo de programas, etc.
    • Resolución de ejercicios de lambda-cálculo. Se realizará una autoevaluación mediante el uso de soluciones teóricas y un simulador de lambda-cálculo on-line.
    • Resolución de ejercicios de Haskell correspondientes a la teoría explicada en la semana correspondiente. Se proporcionará a los alumnos una posible solución para que puedan autoevaluarse.
    		 22.5 37.5
    A4: Tutorías individualizadas o en grupo muy pequeño orientadas a la dirección, supervisión y asesoría por parte del un profesor de la asignatura, del tutor en el caso de Trabajo Fin de Grado, supervisión del tutor de empresa en el caso de Prácticas de Empresa que de forma periódica constate y redirija el trabajo del alumno hacia la consecución de los objetivo marcados.

    Resolución de dudas en grupo.

    		 6.0 10.0
    A5: Estudio y trabajo autónomo orientado a la asimilación de contenidos, realización de problemas, ejercicios o redacción de informes técnicos o memorias descriptivas, desarrollo de proyectos o prácticas individuales o en

    Estudio individual para fijar conceptos teóricos y resolución de ejercicios de Haskell.

    		 90.0 0.0
    Totales 150,00

  7. Horario de la asignatura

    https://www.um.es/web/estudios/grados/informatica/2026-27#horarios

  8. Sistemas de Evaluación

    Identificador Denominación del instrumento de evaluación Criterios de Valoración Ponderación
    IE1 Examen teórico-práctico. En este instrumento incluimos desde el tradicional examen escrito o tipo test hasta los exámenes basados en resolución de problemas, pasando por los de tipo mixto que incluyen cuestiones cortas o de desarrollo teórico junto con pequeños problemas. También se incluye aquí la consideración de la participación activa del alumno en clase, la entrega de ejercicios o realización de pequeños trabajos escritos y presentaciones.

    EXAMEN TEÓRICO FINAL

    Examen tipo test y ejercicios cortos y/o de desarrollo en el que se valorarán los conocimientos teóricos del alumno y su capacidad para relacionarlos con los prácticos. En esta prueba se evaluará el conocimiento tanto del Lambda-Cálculo como de la teoría relacionada con la programación funcional.

    Es necesario aprobar esta parte para poder superar la asignatura en cada convocatoria.

    Para obtener una calificación diferente a "No Presentado" en la asignatura será necesario presentarse físicamente al examen de teoría en la fecha y hora establecidos en el pertinente llamamiento, rellenar los datos personales, firmar y entregar el examen al profesor.

    EXAMEN TEÓRICO PARCIAL

    En función de la evolución de la asignatura se podría hacer en torno a la semana 7 del cuatrimestre una prueba parcial con los mismos contenidos y ponderación del examen teórico final, que sería no obligatoria y recuperable en el examen final.

    		 40.0
    IE2 Informe técnico. En este instrumento incluimos los resultados de actividades prácticas, o de laboratorio, junto con sus memorias descriptivas. Los resúmenes del estado del arte o memorias de investigación sobre temas concretos. Y la posibilidad de realizar entrevistas personales o presentaciones de los trabajos realizados también entran en esta categoría.

    RESOLUCIÓN DE UN PROBLEMA DE HASKELL EN LABORATORIO

    Resolución en laboratorio con tiempo limitado de un problema relacionado con la materia de computación. Para superar esta parte será imprescindible que la implementación sea correcta, tanto sintáctica como semánticamente. Se valorará, además, el estilo y la eficiencia de la solución.

    Es necesario aprobar esta parte para poder superar la asignatura en cada convocatoria.

    Para obtener una calificación diferente a "No Presentado" en la asignatura será necesario presentarse físicamente al examen de prácticas en la fecha y hora establecidos en el pertinente llamamiento, y entregar el examen a través de la tarea del campus virtual que se creará con ese fin.

    		 60.0

  9. Fechas de exámenes

    https://www.um.es/web/estudios/grados/informatica/2026-27#examenes

  10. Resultados del Aprendizaje

    Los objetivos formativos son:

    • Analizar las principales diferencias entre el paradigma imperativo y el paradigma declarativo (lógico y funcional), así como sus ventajas e inconvenientes.
    • Seleccionar el paradigma de programación adecuado para el desarrollo de Sistemas Inteligentes.
    • Establecer los conceptos básicos de la programación funcional.
    • Describir el lambda-cálculo como sistema formal y como lenguaje de programación.
    • Exponer los principales conceptos de la programación funcional a través de un lenguaje de programación adecuado: Definición de funciones y reducción de expresiones; Currificación de funciones; Tipos y clases de tipos; Funciones de orden superior; Estructuras de datos recursivas; Evaluación ansiosa y perezosa.
    • Aplicar el modelo declarativo en el diseño y construcción de aplicaciones informáticas que utilicen técnicas propias de los Sistemas Inteligentes.
    • Seleccionar y usar herramientas para la resolución de problemas en el ámbito de la IA.

  11. Bibliografía

  12. Observaciones

    NECESIDADES EDUCATIVAS ESPECIALES

    Aquellos estudiantes con discapacidad o necesidades educativas especiales podrán dirigirse al Servicio de Atención a la Diversidad y Voluntariado (ADYV - https://www.um.es/adyv) para recibir orientación sobre un mejor aprovechamiento de su proceso formativo y, en su caso, la adopción de medidas de equiparación y de mejora para la inclusión, en virtud de la Resolución Rectoral R-358/2016. El tratamiento de la información sobre este alumnado, en cumplimiento con la LOPD, es de estricta confidencialidad.

    EVALUACIÓN

    En el procedimiento de evaluación resultarán de aplicación el artículo 135.1.v) de los Estatutos de la Universidad de Murcia, el artículo 8.6 del Reglamento de Evaluación de Estudiantes (REVA) y la instrucción SG 18/2026 del secretario general de la Universidad de Murcia que interpreta estas normas, disponible en este enlace: https://sede.um.es/sede/documento/normativa/instruccion-del-secretario-general-sg-18-2026-sobre-la-interpretacion-y-aplicacion-del-art-135-1-v-estatutos-umu/24199.pdf

    Se recuerda asimismo que el artículo 22.1 del Reglamento de Evaluación de Estudiantes (REVA) estipula que "el o la estudiante que se valga de conductas fraudulentas, incluida la indebida atribución de identidad o autoría, o esté en posesión de medios o instrumentos que faciliten dichas conductas, obtendrá la calificación de cero en el procedimiento de evaluación y, en su caso, podrá ser objeto de sanción, previa apertura de expediente disciplinario".

    OBSERVACIONES DEL EQUIPO DOCENTE

    Esta asignatura no se encuentra vinculada de forma directa con los Objetivos de Desarrollo Sostenible.

    CONSIDERACIONES ACERCA DE LA EVALUACIÓN

    La nota que aparecerá en el acta de cada convocatoria responderá al siguiente criterio:

    Para poder superar la asignatura en cualquiera de las convocatorias (febrero, junio, julio), el alumno deberá aportar al profesor todas aquellas evidencias necesarias para poder realizar una evaluación global. Para esta asignatura se consideran evidencias las dos siguientes:

    • Presentarse físicamente al examen de teoría en la fecha y hora establecidos en el pertinente llamamiento, rellenar sus datos, firmar y entregar el examen al profesor.
    • Presentarse físicamente al examen de prácticas en la fecha y hora establecidos en el pertinente llamamiento, y entregarlo a través de la tarea que se creará en el campus virtual con ese fin.

    En este caso y para cada convocatoria:

    • Si el estudiante ha aportado todas las evidencias de evaluación que permitan una calificación global de la asignatura, se consignará en el acta la calificación global que proceda tras aplicarle los criterios de evaluación: Suspenso, Aprobado, Notable, Sobresaliente, Matricula de Honor. Para obtener una nota distinta de "Suspenso" será necesario aprobar ambas partes (teoría y prácticas).
    • Si el estudiante NO ha aportado TODAS las evidencias de evaluación que permitan una calificación global de la asignatura, se consignará en el acta la calificación de "No Presentado".

    Si el estudiante sólo ha aportado una de las dos evidencias necesarias para aprobar y ha superado la parte correspondiente, la calificación de dicha parte se guardará para las convocatorias extraordinarias siguientes (junio y julio). Una vez que la asignatura empiece a impartirse de nuevo, el alumno perderá la calificación favorable relacionada con esa parte.