SLC2015: Programación Prolog (1).
En la sesión de hoy del Seminario de lógica computacional hemos pasado del sistema deductivo de Prolog a las extensiones de Prolog como lenguaje de programación. En concreto, se ha explicado:
I1M2015: Cálculo numérico en Maxima
En la tercera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 25 en la que se propone definir en Maxima los procedimientos de cálculo numérico definidos en Haskell en la relación 21.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2015: Cálculo numérico en Maxima”
I1M2015: El TAD de los conjuntos en Haskell
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado el tipo abstracto de datos de los conjuntos y tres de sus implementaciones en Haskell.
Se ha seguido el mismo patrón que en los anteriores tipos de datos:
- elección de las operaciones básicas,
- especificación de sus propiedades,
- implementación en Haskell mediante no ordenadas con duplicados,
- implementación en Haskell mediante listas no ordenadas sin duplicados,
- implementación en Haskell mediante listas ordenadas sin duplicados,
- análisis de la complejidad de las definiciones de las operaciones básicas en las tres implementaciones y
- verificación con QuickCheck de sus propiedades características.
Las transparencias usadas en la clase son las del tema 17.
También se ha comentado el uso de la librería de conjuntos de Haskell y la complejidad de sus operaciones.
Finalmente, se ha comentado la librería de conjuntos de Maxima.
I1M2015: El tipo abstracto de datos de las colas de prioridad en Haskell
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el tipo abstracto de las colas de prioridad.
Se ha seguido el mismo patrón que en los anteriores tipos de datos:
- elección de las operaciones básicas,
- especificación de sus propiedades,
- implementación en Haskell mediante listas,
- análisis de la complejidad de las definiciones de las operaciones básicas y
- verificación con QuickCheck de sus propiedades características.
Las transparencias usadas en la clase son las del tema 16
El código de la implementación de las colas de prioridad mediante listas es el siguiente
Read More “I1M2015: El tipo abstracto de datos de las colas de prioridad en Haskell”