LI2014: Sintaxis de la lógica proposicional

PorJosé A. Alonso

La clase de hoy del curso Lógica Informática ha tenido dos partes.

En la primera parte se ha presentado un panorama de la lógica y sus aplicaciones a la informática. Como ejemplo de aplicación se ha mostrado cómo se puede generar automáticamente programas usando MagicHaskeller.

En la segunda parte se ha explicado la sintaxis de la lógica proposicional insistiendo en el carácter inductivo del tipo de datos de las fórmulas proposicionales, del procedimiento de definiciones por recursión sobre las fórmulas y de demostración de propiedades por inducción sobre las fórmulas.

Como tarea se ha propuesto resolver de los ejercicios de la 1ª relación.

Las transparencias de esta clase son las páginas 1-13 del tema 1
Read More “LI2014: Sintaxis de la lógica proposicional”

I1M2014: Introducción a la programación con Haskell

PorJosé A. Alonso

En la clase de hoy del curso Informática (de 1º de Grado en Matemáticas se ha presentado una introducción a la programación con Haskell usando emacs como entorno de programación. Concretamente, se ha explicado cómo

  • usar Haskell como calculadora aritmética (con las funciones +, -, *, /, div y ^).
  • escribir guiones de Haskell en emacs.
  • cargar los guiones y evaluar expresiones con las funciones definidas.

También se han comentado las funciones sobre números, listas y booleanos en el resumen de funciones.

Finalmente, se ha explicado cómo trabajar con las relaciones de ejercicios y la wiki. En el vídeo se resumen el procedimiento.

Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los ejercicios de la 1º relación.

Las transparencias usadas en la clase son las del tema 2:
Read More “I1M2014: Introducción a la programación con Haskell”