Las clases del curso de Razonamiento automático del Máster Universitario en Lógica, Computación e Inteligencia Artificial comienzan el jueves 20 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 10 de febrero de 2017.
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 los 6 primeros ejercicios de la 3ª relación sobre definiciones por comprensión.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2016: Ejercicios de definiciones por comprensión (1)”
En la primera parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se han comentado las soluciones de los 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 “I1M2016: Ejercicios de definiciones con condicionales, guardas o patrones”
En la tercera parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas hemos comentado soluciones de los 8 últimos ejercicios de la 1ª relación sobre definiciones por composición de funciones sobre números, listas y booleanos.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2016: Ejercicios de definiciones por composición sobre números, listas y booleanos (2)”
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se explicado cómo ampliar y simplificar los programas de dibujo con CodeWorld/Haskell estudiados en el tema 0 usando listas de comprensión.
Los ejemplos explicados en la clase se encuentra en la sección 5 del tema 5