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 los ejercicios de la 10ª relación y los 4 primeros de la 11ª relación.
El enunciado del problema de Gaussianos de hoy es el siguiente:
Sea
un número natural. Si denotamos como
a la parte entera del número real
(es decir, el mayor número entero menor o igual que
x < n^2[/latex] tal que [latex] \lfloor n^2/x+1 \rfloor[/latex] es divisible por [latex]n[/latex]. Indicar también el valor de [latex]x[/latex].
El problema ha servido de base para la siguiente relación de ejercicios, para el curso de Informática de 1º del Grado en Matemáticas, en la que se conjetura la respuesta con Haskell y se comprueba con QuickCheck.
Read More "Problema sobre números naturales"
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”
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”
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