RA2010: Investigación en lógica computacional

PorJosé A. Alonso

Las clases de esta semana del curso de Razonamiento automático se han sustituido por las conferencias de las Jornadas de Lógica, Computación e Inteligencia Artificial

En dichas Jornadas, he presentado las investigaciones en Lógica
computacional realizadas por el Grupo de Lógica Computacional de la Universidad de Sevilla.

El título de la presentación fue Lógica Computacional en Sevilla (30 años en una hora).
Read More “RA2010: Investigación en lógica computacional”

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

PorJosé A. Alonso

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)

PorJosé A. Alonso

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)

I1M2010: Funciones de orden superior en en Haskell (2)

PorJosé A. Alonso

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha continuado el estudio de las funciones de orden superior viendo el plegado por la izquierda y la composición de funciones. También se ha comenzado el caso de estudio de codificación binaria.

Las definiciones se ha hecho por los 3 métodos: comprensión, recursión y filtrado.

Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los ejercicios de la 11ª relación.
Read More “I1M2010: Funciones de orden superior en en Haskell (2)”

I1M2010: Ejercicios de recursión y comprensión en Haskell

PorJosé A. Alonso

En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado la resolución por recursión y por comprensión de ejercicios de la 9ª relación. En concreto, desde el ejercicio 4 al 16.

Las soluciones de los ejercicios de las 9 primeras relaciones pueden verse en el libro Ejercicios de “Informática de 1º de Matemáticas” (Curso 2010-11).

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