En la clase de hoy de Informática de 1º del Grado en Matemáticas se han estudiado las funciones de orden superior, las funciones de procesamiento de listas (map y filter) y la función de plegado por la derecha (foldr).
Las transparencias usadas en la clase son las páginas 1 a 14 del tema 7
Read More “I1M2012: Funciones de orden superior en en Haskell”
En la clase de hoy del curso Lógica Informática se ha realizado una introducción a la programación lógica con Prolog como aplicación de la resolución en la lógica de primer orden. lógica proposicional.
Se ha presentado el sistema deductivo de Prolog en tres fases: proposicional, relacional y funcional. En cada una se ha comentado cómo representar el conocimiento, cómo realizar consultas y cómo es el razonamiento de Prolog para calcular las respuestas.
Los apuntes de esta clase son Introducción a la programación lógica con Prolog (páginas 1-26).
Las transparencias de esta clase son las páginas 1 a 18 del tema 13
Read More “LI2012: Introducción a la programación lógica”