En la segunda parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la relación 21, cuyo objetivo es resolver la ecuación a! * b! = a! + b! + c!, donde a, b y c son números naturales.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2014: Resolución de una ecuación con factoriales en Haskell”
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los ejercicios sobre relaciones binarias de la 20ª relación.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Ejercicios de relaciones binarias en Haskell”
Se ha publicado un artículo de razonamiento formalizado en Isabelle/HOL sobre teoría de conjuntos titulado A formalisation of finite automata using hereditarily finite sets
Su autor es Lawrence C. Paulson (de la Universidad de Cambridge).
Su resumen es
Hereditarily finite (HF) set theory provides a standard universe of sets, but with no infinite sets. Its utility is demonstrated through a formalisation of the theory of regular languages and finite automata, including the Myhill-Nerode theorem and Brzozowski’s minimisation algorithm. The states of an automaton are HF sets, possibly constructed by product, sum, powerset and similar operations.
El código de las correspondientes teorías en Isabelle se encuentra aquí.
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los ejercicios sobre conjuntos de la 19ª relación.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Ejercicios de operaciones con conjuntos en Haskell”
En la primera parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la relación 18. El objetivo de la relación es implementar la regla de Ruffini y sus aplicaciones utilizando las implementaciones del TAD de polinomio estudiadas en el tema 21.
En los ejercicios se usan las siguientes librerías:
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2014: División y factorización de polinomios mediante la regla de Ruffini”