En la clase de hoy dl curso de Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) se ha realizado una revisión de la programación funcional con Haskell, recordando los conceptos necesarios para la implementación de los algoritmos lógicos del curso.
Como ejercicios se propuso la siguiente relación
Read More “LMF2014: Revisión de la programación con Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los dos primeros ejercicios sobre evaluación perezosa y listas infinitas de la relación 17.
Los ejercicios de la relación 17, y sus soluciones, se muestran a continuación.
Read More “I1M2013: Ejercicios de evaluación perezosa y listas infinitas en Haskell (3)”
En la clase de hoy del curso de Razonamiento automático se presentado una visión panorámica del razonamiento automático a través de ejemplos con los sistemas de razonamiento Prover9/Mace4, ACL2, PVS e Isabelle/HOL.
Las transparencias de la clase están aquí.
En la clase de hoy, se ha realizado la presentación del curso Lógica matemática y fundamentos siguiendo el plan de la asignatura.
Se ha comentado el contenido de la asignatura, el sistema de evaluación y los materiales de la asignatura en la Red:
Las clases del curso Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) comenzarán el miércoles 12 de febrero.