I1M2010: Codificación binaria y transmisión de cadenas en Haskell

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado, como aplicación de las funciones de orden superior, la codificación binaria de cadenas y su transmisión.

El código correspondiente se encuentra en tema-7.hs.

Las transparencias usadas en la clase son las comprendidas entre las páginas 31 y 42 del tema 7
Read More “I1M2010: Codificación binaria y transmisión de cadenas en Haskell”

Lógica Computacional en Sevilla (30 años en una hora)

Ayer, en las Jornadas de Lógica, Computación e Inteligencia Artificial, hice una presentación sobre el desarrollo de la investigación de la Lógica computacional en la Universidad de Sevilla desde sus comienzos (en el Seminario de Lógica Matemática del curso 1980-81) hasta la actualidad.

El título de la presentación fue Lógica Computacional en Sevilla (30 años en una hora).

Las transparencias usadas en la presentación son las que se muestran a continuación

Descargar (PDF, 1.6MB)