Las clases del curso de Razonamiento automático del Máster Universitario en Lógica, Computación e Inteligencia Artificial comienzan el jueves 24 de octubre.
Las clases son los jueves de 16:30 a 18:30 en el Seminario del Departamento de Ciencias de la Computación e Inteligencia Artificial en el módulo E.
Las clases terminan el 14 de febrero de 2020.
En la segunda parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se han comentado las soluciones de ejercicios de la 2ª relación sobre definiciones con condicionales, guardas o patrones.
Los ejercicios y sus soluciones se muestran a continuación
Read More “I1M2019: Ejercicios de definiciones con condicionales, guardas o patrones”
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado cómo definir en Haskell la codificación de mensajes usando el cifrado César.
Los apuntes correspondientes a la clase son los del tema 5
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha explicado la primera parte del tema 5 en la que se estudia cómo definir funciones en Haskell usando listas de comprensión. En concreto, hemos visto cómo definir:
También se han estudiados las cadenas como caso particular de listas y cómo aplicar definiciones por comprensión a cadenas.
Los apuntes utilizados son los del tema 5
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.
En la segunda parte de la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se ha explicado el tema 4 donde se estudia cómo definir funciones en Haskell usando los formas básicas: composición, condicionales, guardas y patrones.
Como tarea para la próxima clase se ha propuesto resolver de manera colaborativa los ejercicios de la 2ª relación.
Los apuntes utilizados son los del tema 4
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.