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”
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:
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.
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:
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”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios sobre la numeración de los números racionales en Haskell de la relación 22.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2015: Ejercicios sobre la numeración de los racionales en Haskell”
En la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado la deducción natural en la lógica proposicional.
Se ha comenzado repasando las cuestiones fundamentales estudiadas en el tema 1:
y planteando una nueva cuestión
para responderla, de forma análoga al uso de modelos para responder a la 2ª cuestión, se comenta el uso de las demostraciones.
El primer método de demostración que se presenta es el de deducción natural.
Las transparencias de esta clase son las del tema 2.