Esta entrada es una recopilación de lecturas compartidas, durante julio de 2020, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
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.
Esta entrada es una recopilación de lecturas compartidas, durante junio de 2020, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
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.
Esta entrada es una recopilación de lecturas compartidas, durante mayo de 2020, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
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.
En la segunda parte de la clase de hoy del curso de Lógica matemática y fundamentos se ha estudiado cómo definir en Isabelle/HOL conjuntos y relaciones inductivas y cómo demostrar sus propiedades.
La clase se ha dado mediante videoconferencia y el vídeo correspondiente es
La teoría con los ejemplos presentados en la clase es la siguiente:
En la clase de hoy del curso de Informática de 1º del Grado en Matemáticas hemos estudiado el tipo abstracto de datos de los grafos y dos de sus implementaciones en Haskell: mediante vectores y matrices de adyacencia.
La clase se ha dado mediante videoconferencia los correspondientes vídeos son
Los apuntes correspondientes a la clase es la sección 1 del tema 22
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.
En la clase de hoy de del curso Informática de 1º del Grado en Matemáticas hemos estudiado la técnica de resolución de problemas mediante búsqueda en escalada en espacios de estados.
En primer lugar se explicó la idea de la búsqueda en escalada y cómo, usando dicha idea, se puede transformar el patrón de búsqueda por primero el mejor en el de búsqueda en escalada. Finalmente, se aplicó el patrón de búsqueda en escalada a la resolución del problema del cambio de monedas.
La clase se ha dado mediante videoconferencia y el correspondiente vídeo es
Los apuntes correspondientes a la clase es la sección 3 del tema 23
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.
El código del problema del cambio de monedas usado en la clase es
En la clase de hoy del curso de Lógica matemática y fundamentos se ha estudiado cómo desarrollar en Isabelle/HOL teorías axiomáticas usando entornos locales (“locales”) y clases de tipos (“class”). Se ha aplicado al desarrollo de las teorías de grupos y a las de órdenes. videoconferencia.
La clase se ha dado mediante videoconferencia y los vídeos correspondientes son:
La teoría con los ejemplos presentados en la clase es la siguiente:
En la clase de hoy de del curso Informática de 1º del Grado en Matemáticas hemos estudiado la técnica de resolución de problemas mediante búsqueda informada en espacios de estados.
En primer lugar se estudiaron los algoritmos búsqueda con información (coste, heurística y A*). A continuación se estudió cómo adaptar el patrón de búsqueda ciega a búsqueda informada usando las colas de prioridad. Finalmente, se aplicó el patrón de búsqueda por primero el mejor a la resolución del problema del 8 puzzle.
La clase se ha dado mediante videoconferencia los correspondientes vídeos son
Los apuntes correspondientes a la clase es la sección 3 del tema 23
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.
El código de la primera solución del problema del 8 puzzle usado en la clase es
Con motivo de la pandemia henos tenido que pasar la docencia al formato no presencial.
En la asignatura de Lógica de 3º de Matemática el cambio ha tenido lugar al principio de la segunda parte del curso en la que se estudia el razonamiento automático con Isabelle/HOL.
Todas las clases no presenciales las he dado por videoconferencia y he subido sus vídeos a YouTube. En este momento hay 12 vídeos correspondientes a las clases no presenciales impartidas:
Con motivo de la pandemia hemos tenido que pasar la docencia al formato no presencial.
En la asignatura de Informática de 1º de Matemáticas el cambio ha tenido lugar al principio de la segunda parte del curso en el que aplica la programación funcional con Haskell, estudiada en la primera parte, a problemas de algorítmica.
Todas las clases no presenciales las he dado por videoconferencia y he subido sus vídeos a YouTube. En este momento hay 16 vídeos correspondientes a las 9 clases no presenciales impartidas:
