En la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se ha visto otro caso de estudio de simulación aleatoria: la distancia esperada entre dos puntos de un cuadrado unitario. Su enunciado y solución se muestra a continuación:
Read More “I1M2019: Distancia esperada entre dos puntos de un cuadrado unitario”
En la clase de hoy del curso Lógica matemática y fundamentos se presentado la ampliación del cálculo de deducción natural proposional para tratar los cuantificadores.
Las transparencias de esta clase son las páginas 1 a 13 del tema 4.
A la vez que se han ido haciendo las demostraciones se ha explicado cómo hacerlas en Isabelle/HOL.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2019: Deducción natural en lógica de primer orden (1/2)”
En la segunda parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se han comentado las soluciones de ejercicios de la relación 22 sobre el cálculo del número pi mediante el método de Montecarlo.
Los ejercicios y sus soluciones se muestran a continuación
Read More “I1M2019: Cálculo del número pi mediante el método de Montecarlo”
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado como trabajar con la aleatoriedad en Haskell.
El material utilizado ha sido el siguiente
Read More “I1M2019: Aleatoriedad en Haskell”
Esta entrada es una recopilación de lecturas compartidas, del 1 al 7 de marzo, 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 1 al 7 de marzo de 2020”