Esta entrada es una recopilación de lecturas compartidas, del 16 al 21 de febrero, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Una recopilación de todas las lecturas compartidas se encuentra en GitHub.
Read More “Resumen de lecturas compartidas del 16 al 21 de febrero de 2020”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la relación 19, en la que se definen funciones para resolver los siguientes problemas de cálculo numérico:
Un aspecto a destacar desde el punto de vista de la programación es el uso de la abstracción de procedimientos.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2019: Cálculo numérico en Haskell”
En la segunda parte de la clase de hoy del curso Lógica matemática y fundamentos se ha comenzado el estudio de la deducción natural en la lógica proposicional. Se ha ido presentando las reglas y su formalización en Isabelle/HOL
La reglas estudiadas son las siguientes reglas:
Las transparencias de esta clase son las 1-10 del tema 2.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2019: Deducción natural proposicional (1)”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado cómo se puede trabajar eh Haskell con vectores y matrices usando las librerías Data.Vector y Data.Matrix.
Para instalarla con Cabal hay que ejecutar las siguientes órdenes
|
1 2 |
cabal update cabal install vector matrix |
Los correspondientes manuales, con ejemplos de las funciones, se encuentran en
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado las soluciones de los ejercicios de la primera relación.